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
2018
Review
2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Review
2018
Review
2018
A Survey of Statistical Model Checking
Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 4
Is this relevant?
Review
2017
Review
2017
Modelling ultrafast laser ablation
This review is devoted to the study of ultrafast laser ablation of solids and liquids. The ablation of condensed matter under… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2017
Review
2017
A review of spatial downscaling of satellite remotely sensed soil moisture
Satellite remote sensing technology has been widely used to estimate surface soil moisture. Numerous efforts have been devoted to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Specifying real-time properties with metric temporal logic
This paper is motivated by the need for a formal specification method for real-time systems. In these systemsquantitative… Expand
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
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
Is this relevant?
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Maintaining knowledge about temporal intervals
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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
Is this relevant?
Highly Cited
1977
Highly Cited
1977
The temporal logic of programs
  • Amir 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
Is this relevant?
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