© 1996-2018

III.6 Summary

Summary [Slide 100]

  • An ITL formula contains propositional variables, Boolean operators and temporal operators.
  • The semantics (meaning) of an ITL formula is defined with respect to an interval (non-empty sequence of states).
  • One can define the satisfiability and validity of an ITL formula.

Contact | Home | ITL home | Course | Proofs | Algebra | FL