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