On the relation between interpreted systems and Kripke models

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

Volumn 1441, Issue , 1998, Pages 46-59

  Lomuscio, Alessio ^a   Ryan, Mark ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; GEOMETRY; MULTI AGENT SYSTEMS; SEMANTICS;

HYPERCUBE SYSTEMS; INTERPRETED SYSTEMS; KRIPKE FRAMES; KRIPKE MODEL; REASONING ABOUT KNOWLEDGE; SEMANTIC STRUCTURES;

INTELLIGENT AGENTS;

EID: 82455170521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055019     Document Type: Conference Paper

References (11)

1. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
2. D. M. Gabbay. Fibred semantics and the weaving of logics. Part 1. Modal and intuitionistic logics. Journal of Symbolic Logic, 61(4):1057-1120, December 1996.
3. R. Goldblatt. Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 of CSLI Lecture Notes. CSLI, Stanford, 1992 (first edition 1987). Distributed by University of Chicago Press.
4. G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, New York, 1996.
5. J. Y. Halpern and R. Fagin. A formal model of knowledge, action, and communication in distributed systems: Preliminary report. In Proceedings of the Fourth ACM Symposium on Principles of Distributed Computing, pages 224-236, 1985.
6. Jakko Hintikka. Knowledge and Belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca (NY) and London, 1962.
7. S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323-324, 1959.
8. Marcus Kracht and Frank Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4), 1991.
9. A. Lomuscio and M. Ryan. Combining logics for multi-agent system (abstract). In A. Cesta and P.-Y. Schobbens, editors, Proceedings of the 4th ModeIAge Workshop on Formal Models of Agents, January 1997.
10. A. Lomuscio and M. Ryan. Ideal agents sharing (some!) information. Manuscript, 1997.
11. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41. Cambdridge University Press, 1995.