The following pages link to (Q3871917):
Displaying 8 items.
- ``During'' cannot be expressed by ``after'' (Q1085154) (← links)
- A simple dynamic logic (Q1087866) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- Intention is choice with commitment (Q2640592) (← links)