Although Aristotle's logic is almost entirely concerned with the theory of the categorical syllogism, there are passages in his work that are now seen as anticipations of temporal logic, and may imply an early, partially developed form of first-order temporal modal binary logic.
The binary temporal operators Since and Until were introduced by Hans Kamp in his 1968 Ph.