gebra that works on semi-intervals IFF92j, that axe intervals with possibly undefined start or end. There are modal temporal logics such as LTL and CT L, mostly used to check temporal constraints on concurrent systems such as deadlock or fairness using Model Checking IN lai001. Calculi with Space an