Pages that link to "Item:Q5747764"
From MaRDI portal
The following pages link to Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764):
Displaying 10 items.
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- Clausal tableaux for hybrid PDL (Q2825411) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)