Skip to main content
SpringerLink
Log in
Book cover

Indian Conference on Logic and Its Applications

ICLA 2013: Logic and Its Applications pp 27–33Cite as

A Note on Axiomatisations of Two-Dimensional Modal Logics

  • Conference paper

  • 742 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7750))

Abstract

We analyse the role of the modal axiom corresponding to the first-order formula “∃ y (x = y)” in axiomatisations of two-dimensional propositional modal logics.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andréka, H., Németi, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27, 217–274 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)

    Google Scholar 

  3. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Clarendon Press, Oxford (1997)

    MATH  Google Scholar 

  4. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier (2003)

    Google Scholar 

  5. Gabbay, D., Shehtman, V.: Products of modal logics. Part I. Journal of the IGPL 6, 73–146 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  6. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part II. Studies in Logic and the Foundations of Mathematics, vol. 115. North-Holland (1985)

    Google Scholar 

  7. Henkin, L., Monk, J.D., Tarski, A., Andréka, H., Németi, I.: Cylindric Set Algebras. Lecture Notes in Mathematics, vol. 883. Springer (1981)

    Google Scholar 

  8. Kikot, S.: Axiomatization of modal logic squares with distinguished diagonal. Mat. Zametki 88, 238–250 (2010)

    MathSciNet  MATH  Google Scholar 

  9. Kurucz, A.: Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol. 5749, pp. 279–286. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  10. Kurucz, A.: On the complexity of modal axiomatisations over many-dimensional structures. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol. 8, pp. 256–270. College Publications (2010)

    Google Scholar 

  11. Kurucz, A.: Representable cylindric algebras and many-dimensional modal logics. In: Andréka, H., Ferenczi, M., Németi, I. (eds.) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies. Springer (to appear)

    Google Scholar 

  12. Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Kluwer Academic Publishers (1997)

    Google Scholar 

  13. Segerberg, K.: Two-dimensional modal logic. Journal of Philosophical Logic 2, 77–96 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  14. Shehtman, V.: Two-dimensional modal logics. Mathematical Notices of the USSR Academy of Sciences 23, 417–424 (1978) (Translated from Russian)

    Google Scholar 

  15. Venema, Y.: Many-Dimensional Modal Logics. PhD thesis, Universiteit van Amsterdam (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, King’s College London, UK

    Agi Kurucz

Authors
  1. Agi Kurucz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Institute of Mathematical Sciences, CIT Campus, 600113, Chennai, India

    Kamal Lodaya

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kurucz, A. (2013). A Note on Axiomatisations of Two-Dimensional Modal Logics. In: Lodaya, K. (eds) Logic and Its Applications. ICLA 2013. Lecture Notes in Computer Science, vol 7750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36039-8_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36039-8_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36038-1

  • Online ISBN: 978-3-642-36039-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation