Was (wer) ist Propositional Linear Temporal Logic - definition
FIELD OF MATHEMATICAL LOGIC
Linear Temporal Logic; LTL formula; LTL logic; Linear-time temporal logic; Linear time temporal logic; Propositional temporal logic; LTL (logic)
Linear temporal logic
In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175 (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.
Timed propositional temporal logic
TPTL; Timed Propositional Temporal Logic
In model checking, a field of computer science, Timed Propositional Temporal Logic (TPTL) is an extension of Linear Temporal Logic (LTL) in which variables are introduced to measure times between two events. For example, while LTL allows to state that each event p is eventually followed by an event q, TPTL furthermore allows to give a time limit for q to occur.
propositional calculus
BRANCH OF LOGIC CONCERNED WITH THE STUDY OF PROPOSITIONS (WHETHER THEY ARE TRUE OR FALSE) THAT ARE FORMED BY OTHER PROPOSITIONS WITH THE USE OF LOGICAL CONNECTIVES, AND HOW THEIR VALUE DEPENDS ON THE TRUTH VALUE OF THEIR COMPONENTS
Sentential logic; Sentential calculus; Propositional logic; Sentence logic; Sentance logic; Propositional Calculus; Truth-functional propositional logic; Propositional calculi; Truth-functional propositional calculus; Classical propositional logic; Exportation in logic; Solvers for propositional logic formulas; History of propositional calculus; Truth functional propositional calculus; Truth functional propositional logic
Wikipedia
Linear temporal logic
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, abbreviated PTL. In terms of expressive power, linear temporal logic (LTL) is a fragment of first-order logic.
LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977.
