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

### Other articles related to "logic, logics, temporal logic, temporal logics":

... Hoare

**logic**, algorithmic

**logic**, weakest preconditions, and dynamic

**logic**are all well suited to discourse and reasoning about sequential behavior ... Extending these

**logics**to concurrent behavior however has proved problematic ... In contrast Amir Pnueli's 1977 system of

**temporal logic**, another variant of modal

**logic**sharing many common features with dynamic

**logic**, differs from all of the above-mentioned ...

... models of hardware and software designs where the specification is given by a

**temporal logic**formula ... Pioneering work in the model checking of

**temporal logic**formulae was done by E ... the problem can be stated as follows given a desired property, expressed as a

**temporal logic**formula p, and a structure M with initial state s, decide if ...

**Temporal Logic**Of Actions

...

**Temporal logic**of actions (TLA) is a

**logic**developed by Leslie Lamport, which combines

**temporal logic**with a

**logic**of actions ...

**Temporal Logic**s

...

**Temporal logics**include Interval

**temporal logic**(ITL) μ calculus ... which includes as a subset Hennessy-Milner

**logic**(HML) CTL*, which includes as a subset Computational tree

**logic**(CTL) Linear

**temporal logic**(LTL) Metric ...

### Famous quotes containing the words logic and/or temporal:

““... We need the interruption of the night

To ease attention off when overtight,

To break our *logic* in too long a flight,

And ask us if our premises are right.””

—Robert Frost (1874–1963)

“What’s this, Aurora Leigh,

You write so of the poets and not laugh?

Those virtuous liars, dreamers after dark,

Exaggerators of the sun and moon,

And soothsayers in a tea-cup? I write so

Of the only truth-tellers, now left to God,—

The only speakers of essential truth,

Opposed to relative, comparative,

And *temporal* truths;...

The only teachers who instruct mankind,

From just a shadow on a charnel-wall.”

—Elizabeth Barrett Browning (1806–1861)