 There have been various proposals and developments of interval-based temporal logics in the philosophical logic literature. Important early contributions include Hamblin (1972); Humberstone (1979); Röper (1980); and Burgess (1982b). The latter provides an axiomatization for an interval-based temporal logic involving the temporal precedence relation between intervals on the rationals and the reals. The interval-based approach to temporal reasoning has been very prominent in Artificial Intelligence. Some notable works here include Allen’s logic of planning (Allen 1984), Kowalski and Sergot’s calculus of events (Kowalski and Sergot 1986), and Halpern and Shoham’s modal interval logic (Halpern and Shoham 1986). But, it also features in some applications in computer science, such as real-time logics and hardware verification, notably Moszkowski’s Interval Logic (Moszkowski 1983) and Zhou, Hoare, and Ravn’s Duration Calculus (see Hansen and Zhou 1997).