Pages that link to "Item:Q3010369"
From MaRDI portal
The following pages link to Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369):
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)
- 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)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
