Pages that link to "Item:Q5747763"
From MaRDI portal
The following pages link to Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763):
Displayed 8 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT (Q2142066) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← 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)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)