The modal logic of (N)

DOI10.1007/S00153-009-0123-9MaRDI QIDQ1016504zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, John Harding

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) Logical aspects of Boolean algebras (03G05) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Review text

\(\beta(\mathbb{N})\) is the Stone-Čech compactification of the set \(\mathbb{N}\) of natural numbers. It is proved that, under topological interpretation, the modal logic of \(\beta(\mathbb{N})\) is \(\text{S}4.1.2= \text{S}4+\square\lozenge p\Leftrightarrow \lozenge\square p\).

Recommendations

• Modal logics of Stone spaces
• The modal logic of Stone spaces: diamond as derivative
• Reasoning About Space: The Modal Way
• Some compactness results for modal logic
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Cites work

• A problem of set-theoretic topology
• Completeness of S4 with respect to the real line: revisited
• Euclidean hierarchy in modal logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3730943 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• Minimally generated Boolean algebras
• Modal logics of domains on the real plane
• Multimodal logics of products of topologies
• Reasoning About Space: The Modal Way
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Set theory. An introduction to independence proofs
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology

Cited in

(10)

• On modal logics arising from scattered locally compact Hausdorff spaces
• Tree-like constructions in topology and modal logic
• scientific article; zbMATH DE number 4217760 (Why is no real title available?)
• The modal logic of Stone spaces: diamond as derivative
• Logic for physical space. From antiquity to present day
• Modal logics of Stone spaces
• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
• From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
• On Shehtman's two problems

This page was built for publication: The modal logic of \({\beta(\mathbb{N})}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1016504)