Title :
Model checking for deontic logic
Author_Institution :
Dept. of Comput.&Inf. Eng., 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; 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;
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
DOI :
10.1109/IFOST.2008.4602933
