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):
Displaying 11 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)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← 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)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
