The following pages link to (Q4736862):
Displaying 4 items.
- Nesting until and since in linear temporal logic (Q705066) (← links)
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353) (← links)
- Temporal logic and semidirect products: An effective characterization of the until hierarchy (Q2784480) (← links)
- Expressiveness for Highly Nested Expressions in Linear Temporal Logic (Q4304494) (← links)