Axiomatizing hybrid logic using modal logic

DOI10.1016/J.JAL.2010.08.005zbMATH Open1215.03033OpenAlexW1989194874MaRDI QIDQ631084FDOQ631084

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

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

zbMATH Keywords

axiomatizationHughesLemmonMcKinseynice framequasimodal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Hybrid logics with Sahlqvist axioms
• Title not available (Why is that?)
• Constructive Formalization of Hybrid Logic with Eventualities
• Hybrid formulas and elementarily generated modal logics
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Hybrid logics of separation axioms
• Title not available (Why is that?)

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)