e/Interval temporal logic

Information
has gloss	eng: Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
lexicalization	eng: Interval Temporal Logic
instance of	e/Formal methods