Tableau-based Decision Procedures for Hybrid Logic

DOI10.1093/logcom/exl008zbMath1122.03006OpenAlexW4238889938MaRDI QIDQ3431972

Thomas Bolander, Torben Braüner

Publication date: 13 April 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exl008

zbMATH Keywords

modal logichybrid logicdecision proceduretableau systemuniversal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (17)

An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Terminating Tableaux for Dynamic Epistemic Logics ⋮ Building an Epistemic Logic for Argumentation ⋮ Hybrid logic with the difference modality for generalisations of graphs ⋮ Simple cut elimination proof for hybrid logic ⋮ Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse ⋮ Algebraic Semantics for Hybrid Logics ⋮ Global Caching for Coalgebraic Description Logics ⋮ Terminating Tableaux for Hybrid Logic with Eventualities ⋮ Coalgebraic Hybrid Logic ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Terminating Tableau Calculi for Hybrid Logics Extending K ⋮ Hybrid Tableaux for the Difference Modality ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Terminating tableau systems for hybrid logic with difference and converse

This page was built for publication: Tableau-based Decision Procedures for Hybrid Logic