Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Temporal logic

Known as: Temporal, Tense logic 
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a… Expand
Wikipedia

Related topics

Related topics

50 relations
ACM Turing AwardAllen's interval algebraAlternating-time Temporal LogicAutomata theory
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Formal Specification and Verification of Autonomous Robotic Systems
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Review
2018
Review
2018
Prospects and challenges of environmental DNA (eDNA) monitoring in freshwater ponds
Environmental DNA (eDNA) analysis is a rapid, non-invasive, cost-efficient biodiversity monitoring tool with enormous potential… Expand
  • table 1
  • figure 1
Review
2017
Review
2017
RivaMap: An automated river analysis and mapping engine
Abstract Rivers are essential to the Earth's water cycle and deeply impact many human societies and ecosystems, yet they are… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 6
Highly Cited
1994
Highly Cited
1994
A really temporal logic
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct… Expand
Highly Cited
1992
Highly Cited
1992
The Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems… Expand
Highly Cited
1986
Highly Cited
1986
Automatic verification of finite-state concurrent systems using temporal logic specifications
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a… Expand
Highly Cited
1983
Highly Cited
1983
Temporal Logic Can Be More Expressive
It is first proved that there are properties of sequences that are not expressible in temporal logic, even though they are easily… Expand
Highly Cited
1981
Highly Cited
1981
The temporal logic of branching time
SummaryA temporal logic is defined which contains both linear and branching operators. The underlying model is the tree of all… Expand
  • figure 1
  • figure 2
Highly Cited
1981
Highly Cited
1981
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
We have shown that it is possible to automatically synthesize the synchronization skeleton of a concurrent program from a… Expand
Highly Cited
1977
Highly Cited
1977
The temporal logic of programs
  • A. Pnueli
  • 18th Annual Symposium on Foundations of Computer…
  • 1977
    • Corpus ID: 117103037
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE