Pages that link to "Item:Q3323259"
From MaRDI portal
The following pages link to Deterministic dynamic logic is strictly weaker than dynamic logic (Q3323259):
Displayed 7 items.
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- The unwind property for programs with bounded memory (Q1067771) (← links)
- Some relationships between logics of programs and complexity theory (Q1106839) (← links)
- A simplified proof of \(DDL<DL\) (Q1117214) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013 (Q2925327) (← links)