The following pages link to (Q3330494):
Displaying 6 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)
