The following pages link to Clausal tableaux for hybrid PDL (Q2825411):
Displaying 7 items.
- Tableaux with partial caching for hybrid PDL with satisfaction statements (Q1675810) (← 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)
- Schmidt and Pudlák’s Approaches to CLP (Q2950773) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)