Axiomatizing hybrid logic using modal logic

DOI10.1016/J.JAL.2010.08.005MaRDI QIDQ631084zbMATH OpenOpenAlexFDO

Authors Louis Paternault, Ian Hodkinson

Publication date 22 March 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2010.08.005

zbMATH Keywords

axiomatizationHughesLemmonMcKinseynice framequasimodal logic

Mathematics Subject Classification ID

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

Recommendations

• Hybrid formulas and elementarily generated modal logics
• Hybrid logics with Sahlqvist axioms
• Pure extensions, proof rules, and hybrid axiomatics
• First-order hybrid logic: introduction and survey
• Algebraic semantics for hybrid logics

Cites work

• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• A note on modal formulae and relational properties
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Every world can see a Sahlqvist world
• Every world can see a reflexive world
• Hybrid formulas and elementarily generated modal logics
• Hybrid logics with Sahlqvist axioms
• Pure extensions, proof rules, and hybrid axiomatics
• The McKinsey-Lemmon logic is barely canonical

Cited in

(8)

• Hybrid logics of separation axioms
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Constructive Formalization of Hybrid Logic with Eventualities
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Hybrid logics with Sahlqvist axioms
• scientific article; zbMATH DE number 3918335 (Why is no real title available?)
• Hybrid formulas and elementarily generated modal logics

This page was built for publication: Axiomatizing hybrid logic using modal logic

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