Pages that link to "Item:Q3431972"
From MaRDI portal
The following pages link to Tableau-based Decision Procedures for Hybrid Logic (Q3431972):
Displayed 17 items.
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Building an Epistemic Logic for Argumentation (Q2915085) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Terminating Tableaux for Dynamic Epistemic Logics (Q3185765) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)