The following pages link to (Q4136521):
Displaying 4 items.
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
