III.2 Syntax Propositional ITL

Propositional ITL [Slide 90]

Summary of the syntax of Propositional ITL:

• Boolean values: true,false
• Boolean state variables: P,Q,…
• Boolean operators: ∧,∨,¬,⊃,≡

• Temporal operators:

  skip	(skip),
  ;	(chop),
  	(next),
  	(always),
  	(sometimes),
  ∗	(chopstar),
  …

Propositional ITL [Slide 91]

Syntax of Propositional ITL in BNF:

Derived ITL operators: