The following pages link to (Q3330494):
Displaying 8 items.
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- 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)
- A note on an extension of PDL (Q959057) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← 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)
