 The minimal temporal logic \(\mathbf{K}_{t}\) captures those validities of TL that do not depend on any specific assumptions concerning the properties of the temporal precedence relation. Yet, many natural properties of temporal frames can be expressed by temporal formulae, and, taken as additional axioms, these formulae can be used to represent important ontological assumptions about the structure of time.