Journal of Symbolic Logic 77 (3):970-986 (2012)
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1344862170 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- sqig.math.ist.utl.pt (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
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.
Complexity of Equations Valid in Algebras of Relations Part I: Strong Non-Finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.
A Multi-Dimensional Terminological Knowledge Representation Language.Franz Baader & Hans Juürgen Ohlbach - 1995 - Journal of Applied Non-Classical Logics 5 (2):153-197.
View all 7 references / Add more references
Citations of this work BETA
Non-Finitely Axiomatisable Modal Product Logics with Infinite Canonical Axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Bimodal Logics with a “Weakly Connected” Component Without the Finite Model Property.Agi Kurucz - 2017 - Notre Dame Journal of Formal Logic 58 (2):287-299.
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.
Similar books and articles
On Axiomatising Products of Kripke Frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Modal Logics of Succession for 2-Dimensional Integral Spacetime.John F. Phillips - 2001 - Journal of Philosophical Logic 30 (1):1-25.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
The Modal Logic of Affine Planes is Not Finitely Axiomatisable.Ian Hodkinson & Altaf Hussain - 2008 - Journal of Symbolic Logic 73 (3):940-952.
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Modal Counterparts of Medvedev Logic of Finite Problems Are Not Finitely Axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
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.
On Modal Logics Between K × K × K and $S5 \times S5 \times S5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Analytics
Added to PP index
2012-11-06
Total views
39 ( #293,099 of 2,519,659 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,659 )
2012-11-06
Total views
39 ( #293,099 of 2,519,659 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,659 )
How can I increase my downloads?
Downloads
