Topological completeness of logics above S4
From MaRDI portal
Publication:5501770
Abstract: It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the closure algebra over the reals R, the rationals Q, or the Cantor space C. By [5], each logic above S4 that has the finite model property is the logic of a subalgebra of Q+, as well as the logic of a subalgebra of C+. This is no longer true for R, and the main result of [5] states that each connected logic above S4 with the finite model property is the logic of a subalgebra of the closure algebra R+. In this paper we extend these results to all logics above S4. Namely, for a normal modal logic L, we prove that the following conditions are equivalent: (i) L is above S4, (ii) L is the logic of a subalgebra of Q+, (iii) L is the logic of a subalgebra of C+. We introduce the concept of a well-connected logic above S4 and prove that the following conditions are equivalent: (i) L is a well-connected logic, (ii) L is the logic of a subalgebra of the closure algebra T_2^+ over the infinite binary tree, (iii) L is the logic of a subalgebra of the closure algebra L_2^+ over the infinite binary tree with limits equipped with the Scott topology. Finally, we prove that a logic L above S4 is connected iff L is the logic of a subalgebra of R+, and transfer our results to the setting of intermediate logics.
Recommendations
Cites work
- Completeness of S4 for the Lebesgue measure algebra
- Completeness of S4 with respect to the real line: revisited
- Connected modal logics
- Continuous Lattices and Domains
- Diodorean modality in Minkowski spacetime
- Euclidean hierarchy in modal logic
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3142141 (Why is no real title available?)
- scientific article; zbMATH DE number 3968648 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 1749192 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- More on \(d\)-logics of subspaces of the rational numbers
- On closed elements in closure algebras
- Priestley rings and Priestley order-compactifications
- Profinite Heyting algebras
- Reasoning About Space: The Modal Way
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Strong completeness of S4 for any dense-in-itself metric space
- The algebra of topology
- The d-logic of the real line
- Topo-canonical completions of closure algebras and Heyting algebras
Cited in
(11)- Propositional quantification in the topological semantics for S4
- Tree-like constructions in topology and modal logic
- Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
- Krull dimension in modal logic
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- Spatial logic of tangled closure operators and modal mu-calculus
- Connected modal logics
- Strong completeness of S4 for any dense-in-itself metric space
- S4 is Topologically Complete for (0,1): a Short Proof
- LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
- Completeness of S4 with respect to the real line: revisited
This page was built for publication: Topological completeness of logics above \(\mathbf{S4}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501770)
