Skip to main content
SpringerLink
Log in

On the relation between interpreted systems and Kripke models

  • Conference paper
  • First Online:
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications (DAI 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1441))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.

    Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

  4. G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, New York, 1996.

    Google Scholar 

  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.

    Google Scholar 

  6. 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. S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323–324, 1959.

    MathSciNet  Google Scholar 

  8. Marcus Kracht and Frank Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4), 1991.

    Google Scholar 

  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 Model Age Workshop on Formal Models of Agents, January 1997.

    Google Scholar 

  10. A. Lomuscio and M. Ryan. Ideal agents sharing (some!) information. Manuscript, 1997.

    Google Scholar 

  11. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41. Cambdridge University Press, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of Birmingham, B15 2TT, Birmingham, UK

    Alessio Lomuscio & Mark Ryan

Authors
  1. Alessio Lomuscio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Ryan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wayne Wobcke Maurice Pagnucco Chengqi Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lomuscio, A., Ryan, M. (1998). On the relation between interpreted systems and Kripke models. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. DAI 1997. Lecture Notes in Computer Science, vol 1441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055019

Download citation

  • DOI: https://doi.org/10.1007/BFb0055019

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64769-0

  • Online ISBN: 978-3-540-68722-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation