| || |
Propositional ITL formulae
We will now introduce some derived temporal formulae.
- More, interval with at least two states:
- Empty, interval with only one state:
- Infinite, interval with an infinite number of states:
- Finite, interval with a finite number of states:
- Following are derived temporal formulae that are “programming constructs”: