In logic, the term temporal logic is used to describe 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 obtained were by Hans Kamp. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians.
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 to say that whenever a request is made, access to a resource is eventually granted, but it is never granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic.
Read more about Temporal Logic: Motivation, History, Temporal Operators, Temporal Logics
Famous quotes containing the words temporal and/or logic:
“Social questions are too sectional, too topical, too temporal to move a man to the mighty effort which is needed to produce great poetry. Prison reform may nerve Charles Reade to produce an effective and businesslike prose melodrama; but it could never produce Hamlet, Faust, or Peer Gynt.”
—George Bernard Shaw (1856–1950)
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)