Pages that link to "Item:Q5191118"
From MaRDI portal
The following pages link to An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118):
Displaying 10 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A logic framework for reasoning with movement based on fuzzy qualitative representation (Q2350485) (← 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)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
