A complete and decidable axiomatisation for deontic interpreted systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4048 LNAI, Issue , 2006, Pages 238-254

  Lomuscio, Alessio ^a   Woźna, Bozena ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

AXIOMATISATION; DEONTIC INTERPRETED SYSTEMS; FINITE MODEL PROPERTY;

PROBLEM SOLVING;

EID: 33746372159     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11786849_20     Document Type: Conference Paper

References (10)

1. E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons for branching-time temporal logic. In Proceedings of Workshop on Logic of Programs, volume 131 of LNCS, pages 52-71. Springer-Verlag, 1981.
2. E. A. Emerson and J. Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and System Sciences, 30(1):1-24, 1985.
3. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
4. A. Lomuscio and F. Raimondi. MCMAS: A model checker for multi-agent systems. In H. Hermanns and J. Palsberg, editors, Proceedings of TACAS 2006, Vienna, volume 3920, pages 450-454. Springer Verlag, March 2006.
5. A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63-92, 2003.
6. A. Lomuscio and M. Sergot. A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic, 2(1):93-116, March 2004.
7. W. Nabialek, A. Niewiadomski, W. Penczek, A. Pólrola, and M. Szreter. VerICS 2004: A model checker for real time and multi-agent systems. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'04), volume 170 of Informatik-Berichte, pages 88-99. Humboldt University, 2004.
8. F. Raimondi and A. Lomuscio. Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic, 2005. To appear in Special issue on Logic-based agent verification.
9. M. Wooldridge and A, Lomuscio. A computationally grounded logic of visibility, perception, and knowledge. Logic Journal of the IGPL, 9(2):273-288, 2001.
10. B. Woźna, A. Lomuscio, and W. Penczek. Bounded model checking for deontic interpreted systems. In Proc. of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), volume 126 of ENTCS, pages 93-114. Elsevier, 2004.