Hybrid logics of separation axioms
type: Item
instance of: scholarly article
title: Hybrid logics of separation axioms
zbMATH Open document ID: 1193.03057
author: Dmitry Sustretov
published in: Journal of Logic, Language and Information
publication date: 2010-01-06T00:00:00Z
Mathematics Subject Classification ID: 03B62
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5653953
zbMATH Keywords: hybrid logic
zbMATH Keywords: modal logic
zbMATH Keywords: topological semantics
zbMATH Keywords: decidability
zbMATH Keywords: computational complexity
MaRDI profile type: Publication
full work available at URL: s10849-009-9091-z
OpenAlex ID: W2058617692
cites work: Reasoning About Space: The Modal Way
cites work: The computational complexity of hybrid temporal logics
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Resolvability: A selective survey and some new results
cites work: Modal languages for topology: expressivity and definability
cites work: Modal logic with names
cites work: Topological Modal Logics with Difference Modality
cites work: Topological modal logic of $ \mathbb R$ with inequality
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: Q3509061
cites work: The algebra of topology
cites work: « Everywhere » and « here »
cites work: Der Aussagenkalkül und die Topologie
cites work: Multimodal logics of products of topologies
DOI: 10.1007/S10849-009-9091-Z
Recommended article: Hybrid logics with Sahlqvist axioms
Recommended article: A separation logic for a promising semantics
Recommended article: Axiomatizing hybrid logic using modal logic
Recommended article: Hybrid logic and its proof-theory
Recommended article: Axiomatising logics with separating conjunction and modalities
Recommended article: Axioms for classical, intuitionistic, and paraconsistent hybrid logic
Recommended article: Towards Algebraic Separation Logic
Recommended article: Hybrid Categorial Logics
Recommended article: Separation logics and modalities: a survey
Recommended article: A Hybrid Intuitionistic Logic: Semantics and Decidability
description: scientific article; zbMATH DE number 5653953