Skip to search formSkip to main contentSkip to account menu

Linear temporal logic

Known as: Propositional temporal logic, LTL logic, PTL 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Action languageAlternating-time Temporal LogicBüchi automatonCTL*

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Visibly Linear Temporal Logic
We introduce Visibly Linear Temporal Logic (VLTL), a linear-time temporal logic that captures the full class of Visibly Pushdown… 
2014
2014
Behavior modeling and automated verification of Web services
2014
2014
Advances in Model-Driven Security
2008
2008
Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
The Vehicle Routing Problem (VRP) and several of its variants have been used as an algorithmic basis for mission planning and… 
2007
2007
Can a Model Checker Generate Tests for Non-Deterministic Systems?
2004
2004
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to… 
2002
2002
An Extension of OCL with Temporal Logic
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL… 
1997
1997
A Tableau System for Linear-TIME Temporal Logic
We present a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only □ and ◊ as… 
1995
1995
A v-Calculus with Local Views for Systems of Sequential Agents
We present ΝTrTL, a (partial order) logic based on “local” next operators and fixpoint definitions. It extends Thiagarajan's… 
1994
1994
Improving Temporal Logic Tableaux Using Integer Constraints
It is fairly easy, if somewhat tedious, to prove that our rules preserve satisfiability. Completeness, however, is a much tougher… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)