In
logic,
temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of
time. In a temporal logic we can then express statements like "I am
always hungry", "I will
eventually be hungry", or "I will be hungry
until I eat something". Temporal logic is sometimes also used to refer to
tense logic, a particular
modal logic-based system of temporal logic introduced by
Arthur Prior in the late 1950s, and important results were obtained by
Hans Kamp. Subsequently it has been developed further by
computer scientists, notably
Amir Pnueli, and
logicians.