 The first two axiom schemata are the temporal correspondents of the so-called K-axiom of modal logic, and hence the terminology \(\mathbf{K}_{t}\). The third and the fourth axiom schemata capture the interaction of the past and future operators. On the formal level, they guarantee that these operators correspond to converse temporal relations, viz. earlier and later, respectively.