On the relation between interpreted systems and Kripke models

  • Alessio Lomuscio
  • Mark Ryan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1441)


We compare Kripke models and hypercube systems, a simplified notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to define a map from the class of hypercube systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise semantically the frames that are images of the hypercube systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [FHMV95]
    Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.Google Scholar
  2. [Gab96]
    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.MATHMathSciNetCrossRefGoogle Scholar
  3. [Gol87]
    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.Google Scholar
  4. [HC96]
    G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, New York, 1996.Google Scholar
  5. [HF85]
    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.Google Scholar
  6. [Hin62]
    Jakko Hintikka. Knowledge and Belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca (NY) and London, 1962.Google Scholar
  7. [Kri59]
    S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323–324, 1959.MathSciNetGoogle Scholar
  8. [KW91]
    Marcus Kracht and Frank Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4), 1991.Google Scholar
  9. [LR97a]
    A. Lomuscio and M. Ryan. Combining logics for multi-agent system (abstract). In A. Cesta and P.-Y. Schobbens, editors, Proceedings of the 4th Model Age Workshop on Formal Models of Agents, January 1997.Google Scholar
  10. [LR97b]
    A. Lomuscio and M. Ryan. Ideal agents sharing (some!) information. Manuscript, 1997.Google Scholar
  11. [MvdH95]
    J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41. Cambdridge University Press, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Alessio Lomuscio
    • 1
  • Mark Ryan
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamBirminghamUK

Personalised recommendations