Hybrid logics of separation axioms
From MaRDI portal
Publication:1047799
DOI10.1007/S10849-009-9091-ZzbMATH Open1193.03057OpenAlexW2058617692MaRDI QIDQ1047799FDOQ1047799
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
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
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)
Cites Work
- The algebra of topology
- Multimodal logics of products of topologies
- Reasoning About Space: The Modal Way
- Der Aussagenkalkül und die Topologie
- Resolvability: A selective survey and some new results
- Modal languages for topology: expressivity and definability
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- « Everywhere » and « here »
- Completeness of S4 with respect to the real line: revisited
- Modal logic with names
- Topological Modal Logics with Difference Modality
- Topological modal logic of $ \mathbb R$ with inequality
- The computational complexity of hybrid temporal logics
- Isomorphism via translation
Cited In (7)
- Title not available (Why is that?)
- Hybrid logics with Sahlqvist axioms
- Axiomatizing hybrid products of monotone neighborhood frames
- 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?
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
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)
