Title :
A Study on the Model Checking for Deontic Logic
Author_Institution :
Sch. of Comput. Eng. & Inf. Technol. Ulsan, Univ. of Ulsan, Ulsan
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;
Conference_Titel :
Convergence and Hybrid Information Technology, 2008. ICCIT '08. Third International Conference on
Conference_Location :
Busan
Print_ISBN :
978-0-7695-3407-7
DOI :
10.1109/ICCIT.2008.240
