Pages that link to "Item:Q1161284"
From MaRDI portal
The following pages link to Expressing program looping in regular dynamic logic (Q1161284):
Displayed 6 items.
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- ``During'' cannot be expressed by ``after'' (Q1085154) (← links)
- Role of determinism in query languages for data bases (Q1112628) (← links)
- More on looping vs. repeating in dynamic logic (Q2265813) (← links)