© 1996-2019







2 Finite and Infinite Interval Temporal Logic

The key notion of ITL is an interval. An interval σ is considered to be a (in)finite sequence of states σ0σ1.







2019-06-11
Contact | Home | ITL home | Course | Proofs | Algebra | FL