Next Prev Up

2 Finite Interval Temporal Logic

  2.1 Syntax
  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 finite sequence of states σ0…σk.

Next Prev Up

2023-09-14
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023