ITL
© 1996-2018



Prev Prev-tail Tail 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 Prev-tail Front Up



2018-10-21
Contact | Home | ITL home | Course | Proofs | Algebra | FL