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

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

• 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?)
• A problem of set-theoretic topology
• Completeness of S4 with respect to the real line: revisited
• Euclidean hierarchy in modal logic
• 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

(9)

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

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)