Pages that link to "Item:Q4982112"
From MaRDI portal
The following pages link to Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112):
Displaying 9 items.
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)