Hybrid logics with Sahlqvist axioms
From MaRDI portal
Publication:5697717
DOI10.1093/jigpal/jzi024zbMath1080.03006OpenAlexW2225187755MaRDI QIDQ5697717
Maarten Marx, Petrucio Viana, Balder ten Cate
Publication date: 18 October 2005
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c2736d5b53d80012b936e39fc5fc5494600c152a
Related Items
Pure extensions, proof rules, and hybrid axiomatics ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Axiomatizing hybrid logic using modal logic ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again ⋮ Unnamed Item ⋮ Topological Perspective on the Hybrid Proof Rules
This page was built for publication: Hybrid logics with Sahlqvist axioms