Skip to main content

Modal logics with relative accessibility relations

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

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

Included in the following conference series:

  • 146 Accesses

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.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. P. Bailhache. Essai de logique déontique. Vrin, 1991.

    Google Scholar 

  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. B. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.

    Google Scholar 

  4. S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.

    Google Scholar 

  5. R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.

    Google Scholar 

  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.

    Article  Google Scholar 

  7. L. Fariñas del Cerro and E. Orlowska. DAL — a logic for data analysis. Theoretical Computer Science, Volume 36, 251–264, 1985.

    Article  Google Scholar 

  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. G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.

    Google Scholar 

  10. E. Orlowska. Kripke semantics for knowledge representation logics. Studia Logica, Volume 49, 255–272, 1990.

    Article  Google Scholar 

  11. D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433–456, 1991.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balbiani, P. (1996). Modal logics with relative accessibility relations. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_61

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_61

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics