Topological Modal Logics with Difference Modality

MaRDI QIDQ3509060zbMATH OpenFDO

Authors A. V. Kudinov

Publication date 1 July 2008

Full work available at URL https://arxiv.org/abs/1011.5687

zbMATH Keywords

propositional modal logictopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Abstract: We consider propositional modal logic with two modal operators $Box$ and $D$. In topological semantics $Box$ is interpreted as an interior operator and $D$ as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.

Recommendations

• Topological modal logic of \mathbb R with inequality
• Derivational modal logics with the difference modality
• Some results on modal axiomatization and definability for topological spaces
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• Modal languages for topology: expressivity and definability

Cited in

(23)

• Modal languages for topology: expressivity and definability
• Hybrid logics of separation axioms
• Modality and possibility in some intuitionistic modal logics
• Topology and duality in modal logic
• Topological perspective on the hybrid proof rules
• A relation between modal logic and language closure operators
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topological modal logic of \mathbb R with inequality
• A Two-Dimensional Hybrid Logic of Subset Spaces
• scientific article; zbMATH DE number 4047688 (Why is no real title available?)
• scientific article; zbMATH DE number 19500 (Why is no real title available?)
• Some Connections between Topological and Modal Logic
• Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
• scientific article; zbMATH DE number 4121997 (Why is no real title available?)
• Strong completeness of modal logics over 0-dimensional metric spaces
• Spatial logic of tangled closure operators and modal mu-calculus
• Decidability of some interpolation properties for weakly transitive modal logics
• Derivational modal logics with the difference modality
• Topological modal logics satisfying finite chain conditions
• TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES
• Dynamic Cantor Derivative Logic
• Simple weakly transitive modal algebras
• A modal logic framework for reasoning about comparative distances and topology

This page was built for publication: Topological Modal Logics with Difference Modality

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