The following pages link to (Q4151145):
Displayed 5 items.
- The temporal logic of branching time (Q789895) (← links)
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- A formal system for parallel programs in discrete time and space (Q1157161) (← links)