Pages that link to "Item:Q1062972"
From MaRDI portal
The following pages link to Propositional dynamic logic with local assignments (Q1062972):
Displayed 5 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- Determinism and non-determinism in PDL (Q1177157) (← links)
- Probabilistic termination versus fair termination (Q1822937) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)