Modal logic of generalized separated topological spaces

DOI10.1007/978-3-031-26689-8_7OpenAlexW4321441545MaRDI QIDQ6132569

Minghui Ma, Qian Chen

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

modal logictopological spaceseparation axiom

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to subframe logics. Modal case
• Intuitionistic logic and modality via topology
• New separation axioms in generalized topological spaces
• Separation axioms, subspaces and sums in fuzzy topology
• Some results on modal axiomatization and definability for topological spaces
• Multimodal logics of products of topologies
• Hybrid logics of separation axioms
• Separation axioms and frame representation of some topological facts
• Separation axioms in (semi)topological quotient BL-algebras
• New separation axioms in generalized bitopological spaces
• The algebra of topology
• Spectral and T 0-Spaces in d-Semantics
• Handbook of Spatial Logics
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
• A ModalWalk Through Space
• A Definition of Separation Axiom
• Reasoning About Space: The Modal Way
• Basic Topology 1

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