Next Prev Up

3 Finite and Infinite Interval Temporal Logic

  3.1 Syntax
  3.2 Semantics
  3.3 Derived Constructs
  3.4 Propositional proof system
  3.5 First order proof system

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

Next Prev Up

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