   
 11 Semantics of Propositional ITLLet be the “meaning” function from to and let be an interval () then The semantics of ‘chop’ is as follows Interval is a fusion of two intervals (satisfies ) and (satisfies ). State is shared by both. Interval is infinite and satisfies , so is irrelevant. The semantics of ‘chopstar’ is as follows
Finite interval is the fusion of a finite number of finite subintervals each satisfying .
  

 