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

DOI10.1093/LOGCOM/EXI056zbMATH Open1101.03019OpenAlexW2101263826MaRDI QIDQ5477453FDOQ5477453

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

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

zbMATH Keywords

interpolationcomplexitycompletenessfinite axiomatizationBeth propertyKripke structureshybrid modal logic

Mathematics Subject Classification ID

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

Cited In (6)

• 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

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)