Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,027,964 papers from all fields of science
Search
Sign In
Create Free Account
Linear temporal logic
Known as:
Propositional temporal logic
, LTL logic
, PTL
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Action language
Alternating-time Temporal Logic
Büchi automaton
CTL*
Expand
Broader (1)
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Visibly Linear Temporal Logic
L. Bozzelli
,
César Sánchez
Journal of automated reasoning
2014
Corpus ID: 9227092
We introduce Visibly Linear Temporal Logic (VLTL), a linear-time temporal logic that captures the full class of Visibly Pushdown…
Expand
2014
2014
Behavior modeling and automated verification of Web services
Quan Z. Sheng
,
Z. Maamar
,
Lina Yao
,
Claudia Szabo
,
S. Bourne
Information Sciences
2014
Corpus ID: 6907764
2014
2014
Advances in Model-Driven Security
L. Lucio
,
Qin Zhang
,
+4 authors
Y. L. Traon
Advances in Computing
2014
Corpus ID: 2736739
2008
2008
Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
S. Karaman
,
Emilio Frazzoli
2008
Corpus ID: 62471274
The Vehicle Routing Problem (VRP) and several of its variants have been used as an algorithmic basis for mission planning and…
Expand
2007
2007
Can a Model Checker Generate Tests for Non-Deterministic Systems?
S. Boroday
,
A. Petrenko
,
Roland Groz
MBT
2007
Corpus ID: 9678722
2004
2004
Linear Temporal Logic and Z Refinement
J. Derrick
,
Graeme Smith
International Conference on Algebraic Methodology…
2004
Corpus ID: 15826229
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to…
Expand
2002
2002
An Extension of OCL with Temporal Logic
P. Ziemann
,
Martin Gogolla
2002
Corpus ID: 16445010
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL…
Expand
1997
1997
A Tableau System for Linear-TIME Temporal Logic
P. Schmitt
,
J. Goubault-Larrecq
International Conference on Tools and Algorithms…
1997
Corpus ID: 39488856
We present a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only □ and ◊ as…
Expand
1995
1995
A v-Calculus with Local Views for Systems of Sequential Agents
P. Niebert
International Symposium on Mathematical…
1995
Corpus ID: 8462580
We present ΝTrTL, a (partial order) logic based on “local” next operators and fixpoint definitions. It extends Thiagarajan's…
Expand
1994
1994
Improving Temporal Logic Tableaux Using Integer Constraints
Reiner Hähnle
,
Ortrun Ibens
International Conference on Temporal Logic
1994
Corpus ID: 34108486
It is fairly easy, if somewhat tedious, to prove that our rules preserve satisfiability. Completeness, however, is a much tougher…
Expand
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)
ACCEPT & CONTINUE