Pages that link to "Item:Q801901"
From MaRDI portal
The following pages link to Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901):
Displaying 5 items.
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- More on nonregular PDL: Finite models and Fibonacci-like programs (Q1923105) (← links)
- (Q3992263) (← 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)