• DocumentCode
    2629574
  • Title

    Model checking for deontic logic

  • Author

    Koo, Jarok

  • Author_Institution
    Dept. of Comput.&Inf. Eng., Univ. of Ulsan, Ulsan
  • fYear
    2008
  • fDate
    23-29 June 2008
  • Firstpage
    300
  • Lastpage
    302
  • Abstract
    As one of the possible solutions to the problem of model checking multi-agent systems, we have suggested model checking for deontic logic using the formalism of deontic interpreted systems and the possible world semantics.
  • Keywords
    formal logic; formal verification; multi-agent systems; deontic interpreted system; deontic logic; model checking; multi agent system; Application software; Autonomous agents; Computer science; Computer security; Electronic commerce; Law; Legal factors; Logic; Multiagent systems; Permission;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Strategic Technologies, 2008. IFOST 2008. Third International Forum on
  • Conference_Location
    Novosibirsk-Tomsk
  • Print_ISBN
    978-1-4244-2319-4
  • Electronic_ISBN
    978-1-4244-2320-0
  • Type

    conf

  • DOI
    10.1109/IFOST.2008.4602933
  • Filename
    4602933
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2629574