Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators

DOI10.1093/logcom/exi056zbMath1101.03019OpenAlexW2101263826MaRDI QIDQ5477453

Nick Bezhanishvili, Balder ten Cate

Publication date: 3 July 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi056

zbMATH Keywords

interpolationcomplexitycompletenessfinite axiomatizationKripke structureshybrid modal logicBeth property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (4)

Pure extensions, proof rules, and hybrid axiomatics ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Coalgebraic Hybrid Logic ⋮ Undecidability of Multi-modal Hybrid Logics

This page was built for publication: Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators