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

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