Pages that link to "Item:Q4982121"
From MaRDI portal
The following pages link to An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121):
Displaying 6 items.
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Clausal Tableaux for Hybrid PDL (Q2825411) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
