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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We introduce Visibly Linear Temporal Logic (VLTL), a linear-time temporal logic that captures the full class of Visibly Pushdown… 
2008
2008
The Vehicle Routing Problem (VRP) and several of its variants have been used as an algorithmic basis for mission planning and… 
2004
2004
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
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL… 
1997
1997
We present a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only □ and ◊ as… 
1995
1995
We present ΝTrTL, a (partial order) logic based on “local” next operators and fixpoint definitions. It extends Thiagarajan's… 
1994
1994
It is fairly easy, if somewhat tedious, to prove that our rules preserve satisfiability. Completeness, however, is a much tougher…