• DocumentCode
    3499183
  • Title

    A Study on the Model Checking for Deontic Logic

  • Author

    Koo, Jarok

  • Author_Institution
    Sch. of Comput. Eng. & Inf. Technol. Ulsan, Univ. of Ulsan, Ulsan
  • Volume
    2
  • fYear
    2008
  • fDate
    11-13 Nov. 2008
  • Firstpage
    832
  • Lastpage
    835
  • 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; multi-agent systems; deontic interpreted systems; deontic logic; model checking; multiagent systems; possible world semantics; Application software; Computer science; Computer security; Information technology; Law; Legal factors; Logic; Multiagent systems; Permission; Protocols; Deontic Logic; Deontic Modality; Model Checking;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Convergence and Hybrid Information Technology, 2008. ICCIT '08. Third International Conference on
  • Conference_Location
    Busan
  • Print_ISBN
    978-0-7695-3407-7
  • Type

    conf

  • DOI
    10.1109/ICCIT.2008.240
  • Filename
    4682348
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3499183