Hybrid logics of separation axioms

DOI10.1007/S10849-009-9091-ZMaRDI QIDQ1047799zbMATH OpenOpenAlexFDO

Authors 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 complexitydecidabilitymodal logictopological semanticshybrid logic

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)

Recommendations

• Hybrid logics with Sahlqvist axioms
• A separation logic for a promising semantics
• Axiomatizing hybrid logic using modal logic
• Hybrid logic and its proof-theory
• Axiomatising logics with separating conjunction and modalities
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Towards algebraic separation logic
• Hybrid Categorial Logics
• Separation logics and modalities: a survey
• A Hybrid Intuitionistic Logic: Semantics and Decidability

Cites work

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

Cited in

(7)

• Apartness and distinguishing formulas in Hennessy-Milner logic
• Modal logic of generalized separated topological spaces
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Axiomatizing hybrid products of monotone neighborhood frames
• scientific article; zbMATH DE number 7058302 (Why is no real title available?)
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Hybrid logics with Sahlqvist axioms

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

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