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

DOI10.1093/LOGCOM/EXI056MaRDI QIDQ5477453zbMATH OpenOpenAlexFDO

Authors 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 axiomatizationBeth propertyKripke structureshybrid modal logic

Mathematics Subject Classification ID

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

Recommendations

• Complexity of hybrid logics over transitive frames
• scientific article; zbMATH DE number 1222489
• Hybrid logics: Characterization, interpolation and complexity
• On Herbrand's theorem for hybrid logic
• On Sahlqvist theory for hybrid logics
• Simulation and transfer results in modal logic -- a survey
• Transfer theorems for extensions of the paraconsistent Nelson logic
• The complexity of hybrid logics over equivalence relations
• Transformations of formulae of hybrid logic
• A Hybrid Intuitionistic Logic: Semantics and Decidability

Cited in

(7)

• Undecidability of multi-modal hybrid logics
• Coalgebraic Hybrid Logic
• Isomorphism via translation
• Pure extensions, proof rules, and hybrid axiomatics
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Hybrid logics: Characterization, interpolation and complexity
• Unsorted functional translations

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

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