The following pages link to (Q3393869):
Displaying 5 items.
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651) (← links)
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features (Q6545542) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)
