TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4

DOI10.1017/jsl.2014.59zbMath1372.03038arXiv1311.2178OpenAlexW2963079830MaRDI QIDQ5501770

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Publication date: 14 August 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.2178

zbMATH Keywords

modal logiccompletenessintuitionistic logictopological semanticsinfinite binary treecountable model property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Intermediate logics (03B55)

Related Items

Tree-like constructions in topology and modal logic ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA

Cites Work

• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Connected modal logics
• Priestley rings and Priestley order-compactifications
• Completeness of S4 with respect to the real line: revisited
• Profinite Heyting algebras
• Diodorean modality in Minkowski spacetime
• Euclidean hierarchy in modal logic
• More on \(d\)-logics of subspaces of the rational numbers
• Topo-canonical completions of closure algebras and Heyting algebras
• The algebra of topology
• On closed elements in closure algebras
• Continuous Lattices and Domains
• Reasoning About Space: The Modal Way
• The d-logic of the real line
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item