Tableau-based Decision Procedures for Hybrid Logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1341482
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
- scientific article; zbMATH DE number 1950252
- A tableau system for quasi-hybrid logic
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
- A tableaux-based decision procedure for multi-parameter propositional schemata
- Formalizing a Seligman-style tableau system for hybrid logic (short paper)
- scientific article; zbMATH DE number 1435945
- Decision procedures for some strong hybrid logics
- Tableaux and Hypersequents for Justification Logic
Cited in
(28)- A proof-theoretic study of the correspondence of hybrid logic and classical logic
- Terminating tableau systems for hybrid logic with difference and converse
- ExpTime tableaux with global caching for hybrid PDL
- Blocking and other enhancements for bottom-up model generation methods
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
- TATL: Implementation of ATL Tableau-Based Decision Procedure
- An efficient approach to nominal equalities in hybrid logic tableaux
- Building an epistemic logic for argumentation
- Simple cut elimination proof for hybrid logic
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
- Terminating tableaux for dynamic epistemic logics
- Algebraic semantics for hybrid logics
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Sequent calculus for hybrid logic
- Coalgebraic Hybrid Logic
- Why does the proof-theory of hybrid logic work so well?
- scientific article; zbMATH DE number 1950252 (Why is no real title available?)
- Terminating Tableau Calculi for Hybrid Logics Extending K
- Hybrid tableaux for the difference modality
- Decision procedures for some strong hybrid logics
- Termination for Hybrid Tableaus
- Global caching for coalgebraic description logics
- Terminating Tableaux for Hybrid Logic with Eventualities
- Herod and Pilate: two tableau provers for basic hybrid logic
- Shortcuts and dynamic marking in the tableau method for adaptive logics
- Lightweight hybrid tableaux
- Hybrid logic with the difference modality for generalisations of graphs
- Synthetic completeness for a terminating Seligman-style tableau system
This page was built for publication: Tableau-based Decision Procedures for Hybrid Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431972)
