A temporal epistemic logic with a reset operation

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2007, Pages 574-581

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b JAN DLUGOSZ UNIVERSITY   (Poland)

Author keywords

Axiomatisation; Decidability; Epistemic logic

Indexed keywords

AXIOMATISATION; DECIDABILITY; EPISTEMIC LOGIC; FINITE MODEL PROPERTIES; TEMPORAL EPISTEMIC LOGIC; TEMPORAL RELATIONS;

AUTONOMOUS AGENTS; COMMUNICATION CHANNELS (INFORMATION THEORY); FUZZY CLUSTERING; RECURSIVE FUNCTIONS; TEMPORAL LOGIC;

COMPUTABILITY AND DECIDABILITY;

EID: 60349131296     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1329125.1329302     Document Type: Conference Paper

References (21)

1. P. Balbiani and L. Fariñas del Cerro. Complete axiomatization of a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics, (8):325-335, 1998.
2. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of TACAS'99, volume 1579 of LNCS, pages 193-207. Springer-Verlag, 1999.
3. 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.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, 1999.
5. 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.
6. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
7. R. Fagin, J. Y. Halpern, and M. Y. Vardi. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328-376, 1992.
8. M. J. Fischer and R. E. Ladner. Prepositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2):194-211, 1979.
9. P. Gammie and R. van der Meyden. MCK: Model checking the logic of knowledge. In Proceedings of CAV'04, volume 3114 of LNCS, pages 479-483. Springer-Verlag, 2004.
10. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379, 1992.
11. J. Hintikka. Knowledge and Belief, An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (NY) and London, 1962.
12. W. van der Hoek. Systems for knowledge and belief. Journal of Logic and Computation, 3(2):173-195, 1993.
13. W. van der Hoek and M. Wooldridge. Model checking knowledge and time. In Proceedings of SPIN'02. 2002.
14. A. Lomuscio and F. Raimondi. MCMAS: A model checker for multi-agent systems. In Proceedings of TACAS'06, volume 3920, pages 450-454. Springer Verlag, 2006.
15. A. Lomuscio and M. Ryan. On the relation between interpreted systems and Kripke models. In Volume 1441 of LNAI. Springer Verlag, 1998.
16. A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63-92, 2003.
17. A. Lomuscio and B. Woźna. A complete and decidable axiomatisation for deontic interpreted systems. In Proceedings of DEON'06, volume 4048, pages 238 - 254. Springer Berlin / Heidelberg, 2006.
18. R. van der Meyden and K. Wong. Complete axiomatizatious for reasoning about knowledge and branching time. Studia Logica, 75(1):93-123, 2003.
19. W. Penczek and A. Lomuscio. Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae, 55(2):167-185, 2003.
20. F. Raimondi and A. Lomuscio. Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic, 2007. To appear.
21. B. Woźna, A. Lomuscio, and W. Penczek. Bounded model checking for knowledge over real time. In Proceedings of AAMAS'05, volume I, pages 165-172. ACM Press, 2005.