Modal logic of generalized separated topological spaces

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

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)

Cites Work

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

Cited In (4)

• Some Connections between Topological and Modal Logic
• Cardinal spaces and topological representations of bimodal logics
• Title not available (Why is that?)
• Topological modal logic of $ \mathbb R$ with inequality

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)