Axiomatizing hybrid logic using modal logic

DOI10.1016/J.JAL.2010.08.005zbMath1215.03033OpenAlexW1989194874MaRDI QIDQ631084

Louis Paternault, I. M. 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pure extensions, proof rules, and hybrid axiomatics
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Hybrid formulas and elementarily generated modal logics
• Every world can see a reflexive world
• A note on modal formulae and relational properties
• Hybrid logics with Sahlqvist axioms

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