For set-theoretical notation we follow [3]. We follow [2] for Boolean algebraic notation, and Monk [5] for more specialized notation concerning cardinal functions on Boolean algebras. Fr(κ) is the free Boolean algebra on κ generators. A is the completion of A. If L is a linear order, then Intalg(L) is the interval algebra over L (perhaps after adjoining a first element to L). Any element x of I...

Sequential, non-overlapping events are the norm in traditionally-expressed scenarios and use cases, but the world is much more fluid. Events have duration and may overlap, be separated in time, begin or end together, or have various other specific temporal relations. The ordering of the events may be completely known or partially uncertain, resulting in any of a large (but finite) number of rel...