Pages that link to "Item:Q3327707"
From MaRDI portal
The following pages link to Looping vs. repeating in dynamic logic (Q3327707):
Displayed 13 items.
- Determinism and looping in combinatory PDL (Q921968) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Determinism and non-determinism in PDL (Q1177157) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)
- More on looping vs. repeating in dynamic logic (Q2265813) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q4571972) (← links)
- Branching-time logics and fairness, revisited (Q5084315) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)