David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 58 (1):139-157 (1993)
An old conjecture of modal logics states that every splitting of the major systems K4, S4, G and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works by establishing a rather strong property of these splitting frames namely that they preserve the finite model property in the following sense. Whenever an extension Λ has fmp so does the splitting Λ/f of Λ by f. Although we will also see that this method has its limitations because there are frames lacking this property, it has several desirable side effects. For example, properties such as compactness, decidability and others can be shown to be preserved in a similar way and effective bounds for the size of models can be given. Moreover, all methods and proofs are constructive
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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|
References found in this work BETA
Wolfgang Rautenberg (1983). Modal Tableau Calculi and Interpolation. Journal of Philosophical Logic 12 (4):403 - 423.
Marcus Kracht (1990). An Almost General Splitting Theorem for Modal Logic. Studia Logica 49 (4):455 - 470.
Citations of this work BETA
Guram Bezhanishvili & Nick Bezhanishvili (2012). Canonical Formulas for Wk4. Review of Symbolic Logic 5 (4):731-762.
Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19-45.
Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner (1999). On Finite Model Property for Admissible Rules. Mathematical Logic Quarterly 45 (4):505-520.
Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139-159.
Yutaka Miyazaki (2007). A Splitting Logic in NExt. Studia Logica 85 (3):381-394.
Similar books and articles
David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993-1021.
Stéphane Demri & Ewa Orłowska (1999). Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae. Studia Logica 62 (2):177 - 200.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Larisa Maksimova (2006). Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83 (1-3):365 - 391.
Michał Kozak (2009). Distributive Full Lambek Calculus has the Finite Model Property. Studia Logica 91 (2):201 - 216.
Russell Miller (2002). Definable Incompleteness and Friedberg Splittings. Journal of Symbolic Logic 67 (2):679-696.
Wojciech Buszkowski (1996). The Finite Model Property for BCI and Related Systems. Studia Logica 57 (2-3):303 - 323.
Robert K. Meyer & Hiroakira Ono (1994). The Finite Model Property for BCK and BCIW. Studia Logica 53 (1):107 - 118.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Maarten Marx & Szabolcs Mikulás (2002). An Elementary Construction for a Non-Elementary Procedure. Studia Logica 72 (2):253-263.
Added to index2009-01-28
Total downloads188 ( #19,521 of 1,934,666 )
Recent downloads (6 months)27 ( #23,668 of 1,934,666 )
How can I increase my downloads?