Pages that link to "Item:Q5747764"
From MaRDI portal
The following pages link to Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764):
Displayed 4 items.
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← 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)