2.1 Syntax

2.2 Semantics

2.3 Derived Constructs

2.4 Propositional proof system

2.5 First order proof system

2.2 Semantics

2.3 Derived Constructs

2.4 Propositional proof system

2.5 First order proof system

The key notion of ITL is an interval. An interval σ is considered to be a ﬁnite sequence of states
σ_{0}…σ_{k}.