ter eating by Before(Eet, Digest) V Meet(Eat, Digest) equivalently denoted Eet{Bef ore ,Meet}Digest. There also exists a generalization of Allen's Interval Algebra 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,