 The standard semantics of TL is essentially a Kripke-style semantics, familiar from modal logic. In modal logic, sentences are evaluated over so-called Kripke frames consisting of a non-empty set of possible worlds and an accessibility relation between them. In temporal logic, the possible worlds are time instants, and the accessibility relation has a concrete interpretation in terms of temporal precedence. In other words, sentences are evaluated over instant-based models of time \(\mathcal{T}=\left\langle T, \prec \right\rangle\), hereafter called temporal frames. Note that so far no conditions, like transitivity, irreflexivity, etc., are imposed on the precedence relation \(\prec\).