Some Connections between Topological and Modal Logic
From MaRDI portal
Recommendations
- Modal Logics of Topological Relations
- Topology, connectedness, and modal logic
- Topology and duality in modal logic
- Intuitionistic logic and modality via topology
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- scientific article; zbMATH DE number 130897
- scientific article; zbMATH DE number 4047688
- Topological Modal Logics with Difference Modality
- Topological modal logics satisfying finite chain conditions
- Modal logic of generalized separated topological spaces
Cited in
(13)- Topology and duality in modal logic
- A topos-theoretic approach to reference and modality
- Topological-frame products of modal logics
- Tree-like constructions in topology and modal logic
- A relation between modal logic and language closure operators
- scientific article; zbMATH DE number 5295723 (Why is no real title available?)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- Topological modal logic of \mathbb R with inequality
- scientific article; zbMATH DE number 4047688 (Why is no real title available?)
- scientific article; zbMATH DE number 19500 (Why is no real title available?)
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- Cardinal spaces and topological representations of bimodal logics
- A modal logic framework for reasoning about comparative distances and topology
This page was built for publication: Some Connections between Topological and Modal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323831)
