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.

2024-05-26
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024