The modal logic of \({\beta(\mathbb{N})}\)

DOI10.1007/s00153-009-0123-9zbMath1169.03018OpenAlexW2096620774MaRDI QIDQ1016504

John Harding, Guram Bezhanishvili

Publication date: 6 May 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0123-9

zbMATH Keywords

topological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Logical aspects of Boolean algebras (03G05)

Related Items

COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω ⋮ Tree-like constructions in topology and modal logic ⋮ Logic for physical space. From antiquity to present day ⋮ Modal logics of Stone spaces ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of S4 with respect to the real line: revisited
• Modal logics of domains on the real plane
• Multimodal logics of products of topologies
• Minimally generated Boolean algebras
• Set theory. An introduction to independence proofs
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Euclidean hierarchy in modal logic
• The algebra of topology
• A problem of set-theoretic topology
• Reasoning About Space: The Modal Way
• Some theorems about the sentential calculi of Lewis and Heyting