Concept
Linear temporal logic
Overview
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. LTL is sometimes called propositional temporal logic (PTL).
In terms of expressive power, LTL is a fragment of first-order logic.
LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
One of the most successfully cultivated branches of philosophy in our time is what is called inductive logic, the study of the conditions under which our sciences have evolved. Writers on this subject have begun to show a singular unanimity as to what the laws of nature and elements of fact mean, when formulated by mathematicians, physicists and chemists. When the first mathematical, logical and natural…
William James, Pragmatism
States what Linear temporal logic is.
This is nothing else than the necessity of abstract logic, which is the presupposition involved in the very fact of interrelated existence as disclosed in each immediate occasion of experience. The key to the pattern means this fact:—that from a select set of those general conditions, exemplified in any one and the same occasion, a pattern involving an infinite variety of other such conditions, also exemplified in…
Alfred North Whitehead, Science and the modern world
States what Linear temporal logic is.
(2) If two magnitudes are equal to a third they are equal to one another; this statement is, as Hegel has shown, a conclusion, upon the correctness of which all logic depends, and which is demonstrated therefore outside of pure mathematics. The remaining axioms with regard to equality and inequality are merely logical extensions of this conclusion. Such barren statements are not enticing either in mathematics or…
Friedrich Engels, Landmarks of Scientific Socialism
States what Linear temporal logic is.
Related ideas
- First-order logic
- Counterexample
- Propositional variable
- Logical connective
- Formal verification
- Preference
- Temporal logic
- Modal logic
- Modal operator
- Quantifier (logic)
- Logic
- Alonzo Church
- CTL*
- Property Specification Language
- Computation tree logic
- Linear temporal logic to Büchi automaton
Place in the tradition
Part of Description logic.