Temporal Logic

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formal system for expressing propositions about temporal ordering and properties of states across time points or intervals, using temporal operators such as 'G' (globally), 'F' (finally), 'X' (next), and 'U' (until).