The following pages link to Termination for Hybrid Tableaus (Q5431611):
Displayed 27 items.
- Lightweight hybrid tableaux (Q631086) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Reflecting on social influence in networks (Q1698338) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Terminating Tableaux for Dynamic Epistemic Logics (Q3185765) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)