THE BAIRE CLOSURE AND ITS LOGIC

DOI10.1017/jsl.2024.1arXiv2102.03564OpenAlexW3128961362MaRDI QIDQ6123578

David Fernández-Duque, Guram Bezhanishvili

Publication date: 5 April 2024

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

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

zbMATH Keywords

modal logicBaire spacetopological semanticsresolvable space

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Modal logic (including the logic of norms) (03B45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Modal logics of Stone spaces
• Spatial logic of tangled closure operators and modal mu-calculus
• Resolvability: A selective survey and some new results
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• A new proof of the McKinsey-Tarski theorem
• The algebra of topology
• A problem of set-theoretic topology
• Using the Universal Modality: Gains and Questions
• « Everywhere » and « here »
• KRULL DIMENSION IN MODAL LOGIC
• Measure Theory
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Topological representations of distributive lattices and Brouwerian logics
• Der Aussagenkalkül und die Topologie
• Extensions of the Lewis system S5

This page was built for publication: THE BAIRE CLOSURE AND ITS LOGIC