Pages that link to "Item:Q4982121"

The following pages link to An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121):

Displaying 4 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)