  Time and temporal reasoning have been associated with logic since the origins of scientific logic with Aristotle. The idea of a logic of tense in the modern sense has been familiar since at least the work of Jan Łukasiewicz (see, for instance,  Łukasiewicz 1970),  but the shape of what is commonly known as tense logic was standardized by Arthur Prior’s work in the 1950s and 1960s: see Prior  1956,  1967,  1968.[22]  As the topic was developed in philosophical logic, tense logic proved to be a species of modal logic; Prior’s work was heavily influenced by both Hintikka and Kripke, and by the idea that the truth of tense-logical formulas is relative to world-states or temporal stages of the world; these are the tense-theoretic analogues of the timeless possible worlds of ordinary modal logic. Thus, the central logical problems and techniques of tense logic were borrowed from modal logic. For instance, it became a research theme to work out the relations between axiomatic systems and the corresponding model theoretic constraints on temporal orderings. See, for instance,  Burgess 1984  and  van Benthem 1983.