Advertisement

Modal logics with relative accessibility relations

  • Philippe Balbiani
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)

Abstract

This paper presents a systematic study of the logics based on Kripke models with relative accessibility relations as well as a general method for proving their completeness.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    P. Bailhache. Essai de logique déontique. Vrin, 1991.Google Scholar
  2. 2.
    P. Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.Google Scholar
  3. 3.
    B. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.Google Scholar
  4. 4.
    S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.Google Scholar
  5. 5.
    R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.Google Scholar
  6. 6.
    R. Fagin, J. Halpern and M. Vardi. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, Volume 39, 328–376, 1992.CrossRefGoogle Scholar
  7. 7.
    L. Fariñas del Cerro and E. Orlowska. DAL — a logic for data analysis. Theoretical Computer Science, Volume 36, 251–264, 1985.CrossRefGoogle Scholar
  8. 8.
    D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497–604, Reidel, 1984.Google Scholar
  9. 9.
    G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.Google Scholar
  10. 10.
    E. Orlowska. Kripke semantics for knowledge representation logics. Studia Logica, Volume 49, 255–272, 1990.CrossRefGoogle Scholar
  11. 11.
    D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433–456, 1991.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Philippe Balbiani
    • 1
  1. 1.Laboratoire d'informatique de Paris-Nord, Institut GaliléeUniversité Paris-NordVilletaneuse

Personalised recommendations