ITL
© 1996-2018







III.2 Syntax Propositional ITL

Propositional ITL [Slide 91]

Summary of the syntax of Propositional ITL:

  • Boolean values: true,false
  • Boolean static variables: p,q,
  • Boolean state variables: P,Q,
  • Boolean operators: ,,¬,,
  • Temporal operators:

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

Propositional ITL [Slide 92]

Syntax of Propositional ITL in BNF:

f ::=
true|q|Q|¬f|f1 f2|skip|f1 ; f2|f

Derived ITL operators:

f
skip ; f
f
true ; f
f
¬( ¬f)







2018-02-25
Contact | Home | ITL home | Course | Proofs | Algebra | FL