Pages that link to "Item:Q2351150"
From MaRDI portal
The following pages link to A goal-directed decision procedure for hybrid PDL (Q2351150):
Displaying 4 items.
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Clausal tableaux for hybrid PDL (Q2825411) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)