In logic, a temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something").

Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish