Tree-like constructions in topology and modal logic

DOI10.1007/S00153-020-00743-6MaRDI QIDQ2663333zbMATHOpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Jan van Mill, Joel Lucero-Bryan

Publication date 16 April 2021

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

Full work available at URL http://hdl.handle.net/11245.1/2b269bc9-48b9-47bf-8983-c5cfeed3e54a

zbMATH Keywords

treemodal logictopological semanticszero-dimensional spaceP-spacepatch topologyscattered spaceTychonoff spaceextremally disconnected spaceLindelöf space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Scattered spaces (54G12) Extremally disconnected spaces, (F)-spaces, etc. (54G05) (P)-spaces (54G10)

Recommendations

• Topological completeness of logics above \(\mathbf{S4}\)
• Defining topologies on trees
• Strong completeness of modal logics over 0-dimensional metric spaces
• Some Connections between Topological and 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 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3512777 (Why is no real title available?)
• scientific article; zbMATH DE number 1303430 (Why is no real title available?)
• scientific article; zbMATH DE number 3357434 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• An Extremally Disconnected Dowker Space
• Completeness of S4 with respect to the real line: revisited
• Frames and Locales
• Infinitary combinatorics and modal logic
• Krull dimension in modal logic
• Modal logic
• Modal logics of Stone spaces
• Modal logics of metric spaces
• Multimodal logics of products of topologies
• On maximally resolvable spaces
• On modal logics arising from scattered locally compact Hausdorff spaces
• Reasoning About Space: The Modal Way
• Scattered and hereditarily irresolvable spaces in modal logic
• Some results on modal axiomatization and definability for topological spaces
• Strong completeness of S4 for any dense-in-itself metric space
• The algebra of topology
• The modal logic of \({\beta(\mathbb{N})}\)
• Topological completeness of logics above \(\mathbf{S4}\)
• \(\alpha\)-scattered spaces

Cited in

(7)

• Modal Logics of Some Hereditarily Irresolvable Spaces
• NP trees and Carnap's modal logic
• Deciding validity in a spatial logic for trees
• Defining topologies on trees
• On model-theoretic tree properties
• Sequent Calculus in the Topos of Trees
• The McKinsey-Tarski theorem for locally compact ordered spaces

This page was built for publication: Tree-like constructions in topology and modal logic

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