Hybrid logics of separation axioms

DOI10.1007/S10849-009-9091-ZzbMath1193.03057OpenAlexW2058617692MaRDI QIDQ1047799

Dmitry Sustretov

Publication date: 6 January 2010

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9091-z

zbMATH Keywords

computational complexitymodal logicdecidabilityhybrid logictopological semantics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Combined logics (03B62)

Related Items (1)

Modal logic of generalized separated topological spaces

Cites Work

• Unnamed Item
• Resolvability: A selective survey and some new results
• Completeness of S4 with respect to the real line: revisited
• Multimodal logics of products of topologies
• Modal languages for topology: expressivity and definability
• Modal logic with names
• The algebra of topology
• Topological Modal Logics with Difference Modality
• Topological modal logic of $ \mathbb R$ with inequality
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The computational complexity of hybrid temporal logics
• « Everywhere » and « here »
• Reasoning About Space: The Modal Way
• Der Aussagenkalkül und die Topologie

This page was built for publication: Hybrid logics of separation axioms