Pages that link to "Item:Q3431972"
From MaRDI portal
The following pages link to Tableau-based Decision Procedures for Hybrid Logic (Q3431972):
Displayed 10 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)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Building an Epistemic Logic for Argumentation (Q2915085) (← 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)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)