Multimodal logics of products of topologies
From MaRDI portal
Publication:861569
DOI10.1007/s11225-006-9013-xzbMath1113.03018OpenAlexW2115647456MaRDI QIDQ861569
Guram Bezhanishvili, J. F. A. K. van Benthem, Darko Sarenac, Balder ten Cate
Publication date: 29 January 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-9013-x
topological producttopological semanticsproduct of modal logicsfusion of modal logicshorizontal topologyproduct modalitiesvertical topology
Related Items
Matching topological and frame products of modal logics ⋮ Tree-like constructions in topology and modal logic ⋮ A topological approach to full belief ⋮ Modal logic of generalized separated topological spaces ⋮ Topology and measure in logics for region-based theories of space ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Topological-frame products of modal logics ⋮ A new proof of the McKinsey-Tarski theorem ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ The modal logic of continuous functions on the rational numbers ⋮ The modal logic of \({\beta(\mathbb{N})}\) ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Modal languages for topology: expressivity and definability ⋮ Hybrid logics of separation axioms ⋮ The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) ⋮ Strong Completeness of S4 for the Real Line ⋮ Some results on modal axiomatization and definability for topological spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diodorean modality in Minkowski spacetime
- Many-dimensional modal logics: theory and applications
- The algebra of topology
- A ModalWalk Through Space
- Products of modal logics, part 1
- Reasoning About Space: The Modal Way
- Cardinal spaces and topological representations of bimodal logics
- Products of ‘transitive” modal logics
- Two-dimensional modal logic
- Two-dimensional modal logic
