Completeness of S4 with respect to the real line: revisited

&
Annals of Pure and Applied Logic 131 (1-3):287-301 (2004)
  Copy   BIBTEX

Abstract

We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski 45 141). We also prove that the same result holds for the bimodal system S4+S5+C, which is a strengthening of a 1999 result of Shehtman 369)

Categories

Keywords

Reprint years

2005

DOI

10.1016/j.apal.2004.06.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

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

Through your library

My notes

Similar books and articles

Completeness of S4 with respect to the real line: revisited.Gurman Bezhanishvili & Mai Gehrke - 2005 - Annals of Pure and Applied Logic 131 (1-3):287-301.
A Proof Of Topological Completeness For S4 In.Giorgi Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
Strong Completeness of S4 for the Real Line.Philip Kremer - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 291-302.
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
The topological product of s4 and S.Philip Kremer - unknown
Modal Logics of Metric Spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
Dynamic measure logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.
The incompleteness of s4 ⊕ s4 for the product space R × R.Philip Kremer - unknown

Analytics

Added to PP
2013-10-30

Downloads
24 (#679,414)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.

View all 18 citations / Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.

View all 12 references / Add more references