Non-finitely axiomatisable two-dimensional modal logics

Journal of Symbolic Logic 77 (3):970-986 (2012)
  Copy   BIBTEX

Abstract

We show the first examples of recursively enumerable (even decidable) two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable. In particular, we show that any axiomatisation of some bimodal logics that are determined by classes of product frames with linearly ordered first components must be infinite in two senses: It should contain infinitely many propositional variables, and formulas of arbitrarily large modal nesting-depth

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,446

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Arrow logic and infinite counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.

Analytics

Added to PP
2012-11-06

Downloads
46 (#300,475)

6 months
5 (#239,721)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 411-436.

Add more citations

References found in this work

Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.

View all 7 references / Add more references