© 1996-2019

| | | ||

| ## 1 Finite Interval Temporal LogicThe key notion of ITL is an interval. An interval σ is considered to be a ﬁnite sequence of states
σ
1.1 Syntax
1.2 Semantics 1.3 Derived Constructs 1.4 Propositional proof system 1.5 First order proof system | | ||

| |