Temporal Logic

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":

Dynamic Logic (modal Logic) - The Concurrency Challenge
... 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 ...
Model Checkers - Overview
... 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 Logics
... 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)