   
 24 Semantics of FormulaeLet be the “meaning” function from to (set of Boolean values, ) and let be an interval then Example 17
_____________________________________________________________________ Example 18 _____________________________________________________________________ Let denote that the intervals and are identical with the possible exception of the mapping for the variable . Example 19 Let and be intervals.
Then . _____________________________________________________________________ The semantics of is defined in terms of
Example 20
_____________________________________________________________________ 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 .
  

 