"Temporal learning" . . . "Temporal logic" . . "sufficient to define the other two" . "temporal" . . "temporally" . . . . . . "Temporal logic" . . . . . "temporal modal logic" . . "Prior's tense logic (TL)" . "temporal logic" . . "temporal operator" . . "temporal logics" . "temporal formulas" . "tense logic" . . "situations" . . "branches of timelines" . .