© 1996-2019



Prev Up



2 Propositional Interval Temporal Logic Theorems

 2.1 Basic ITL Theorems
 2.2 Further properties of Diamond-i and Box-i
 2.3 Properties of Diamond-a and Box-a
 2.4 Properties of Fin
 2.5 Properties of chop-plus
 2.6 Properties of chop-star
 2.7 Properties of While
 2.8 Properties of Halt
 2.9 Properties of groups of chops



Prev Up



2019-01-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL