Tree-like constructions in topology and modal logic

DOI10.1007/S00153-020-00743-6zbMATH Open1500.03005OpenAlexW3046831493MaRDI QIDQ2663333FDOQ2663333

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Frames and Locales
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebra of topology
• Some results on modal axiomatization and definability for topological spaces
• Multimodal logics of products of topologies
• Reasoning About Space: The Modal Way
• On maximally resolvable spaces
• The modal logic of \({\beta(\mathbb{N})}\)
• Completeness of S4 with respect to the real line: revisited
• Modal logics of Stone spaces
• Scattered and hereditarily irresolvable spaces in modal logic
• Infinitary combinatorics and modal logic
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Title not available (Why is that?)
• TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4
• MODAL LOGICS OF METRIC SPACES
• An Extremally Disconnected Dowker Space
• \(\alpha\)-scattered spaces
• KRULL DIMENSION IN MODAL LOGIC
• On modal logics arising from scattered locally compact Hausdorff spaces

Cited In (6)

• THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
• Sequent Calculus in the Topos of Trees
• Modal Logics of Some Hereditarily Irresolvable Spaces
• Deciding validity in a spatial logic for trees
• NP trees and Carnap's modal logic
• On model-theoretic tree properties

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)