Pages that link to "Item:Q5747764"
From MaRDI portal
The following pages link to Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764):
Displaying 6 items.
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← 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)
