Modal logic of generalized separated topological spaces

DOI10.1007/978-3-031-26689-8_7MaRDI QIDQ6132569OpenAlexFDO

Authors Qian Chen, Minghui Ma

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-26689-8_7

zbMATH Keywords

topological spacemodal logicseparation axiom

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• Spectral and \(T _{0}\)-spaces in d-semantics
• Some results on modal axiomatization and definability for topological spaces
• More on \(d\)-logics of subspaces of the rational numbers
• The modal logic of Stone spaces: diamond as derivative
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces

Cites work

• scientific article; zbMATH DE number 3177268 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 2107988 (Why is no real title available?)
• A Definition of Separation Axiom
• A modal walk through space
• An algebraic approach to subframe logics. Modal case
• Basic Topology 1
• Handbook of Spatial Logics
• Hybrid logics of separation axioms
• Intuitionistic logic and modality via topology
• Modal logic
• Multimodal logics of products of topologies
• New separation axioms in generalized bitopological spaces
• New separation axioms in generalized topological spaces
• Reasoning About Space: The Modal Way
• Separation axioms and frame representation of some topological facts
• Separation axioms in (semi)topological quotient BL-algebras
• Separation axioms, subspaces and sums in fuzzy topology
• Some results on modal axiomatization and definability for topological spaces
• Spectral and \(T _{0}\)-spaces in d-semantics
• The algebra of topology
• The modal logic of Stone spaces: diamond as derivative

Cited in

(4)

• Topological modal logic of $ \mathbb R$ with inequality
• scientific article; zbMATH DE number 4047688 (Why is no real title available?)
• Cardinal spaces and topological representations of bimodal logics
• Some Connections between Topological and Modal Logic

This page was built for publication: Modal logic of generalized separated topological spaces

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