## 3,184 Citations

### Temporal and Dynamic Logic

- Computer Science, Philosophy
- 2010

An introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments, starting with the seminal work of Prior is presented.

### Expressive completeness of temporal logic of trees

- Philosophy, Computer ScienceJ. Appl. Non Class. Logics
- 1992

ABSTRACT Many temporal and modal logic languages can be regarded as subsets of first order logic, i.e. the semantics of a temporal logic formula is given as a first order condition on points of theâ€¦

### Logics of Time and Action

- Computer Science
- 2012

An introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments, starting with the seminal work of Prior is presented.

### A survey on temporal logics for specifying and verifying real-time systems

- Philosophy, Computer ScienceFrontiers of Computer Science
- 2013

Decidability, axiomatizability, expressiveness, model checking results for each logic analysed are given and a comparison of features of the temporal logics discussed is provided.

### A General Tableau Method for Propositional Interval Temporal Logics

- Computer Science, PhilosophyTABLEAUX
- 2003

This paper provides BCDT + with a generic tableau method which combines features of explicit tableau methods for modal logics with constraint label management and the classical tableAU method for first-order logic, and proves its soundness and completeness.

### First-Order Temporal Verification in Practice

- Philosophy, Computer ScienceJournal of Automated Reasoning
- 2005

This paper presents a translation from temporal logics of knowledge into the monodic fragment of first-order temporal logic, a useful fragment that possesses good computational properties such as completeness and sometimes even decidability, and presents the translation, its correctness, and examples of its use.

### Logics of Programs

- PhilosophyHandbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990

### Dynamic logic

- Computer ScienceSIGA
- 2001

This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value.

### Alternating-time temporal logic

- Philosophy, Computer ScienceProceedings 38th Annual Symposium on Foundations of Computer Science
- 1997

This work introduces a third, more general variety of temporal logic: alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves.

## References

SHOWING 1-10 OF 146 REFERENCES

### Logics of Programs

- PhilosophyHandbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990

### Propositional Dynamic Logic of Regular Programs

- Computer Science, PhilosophyJ. Comput. Syst. Sci.
- 1979

### Decidability and expressiveness of logics of processes

- Computer Science
- 1980

It is shown that PDL is decidable only when processes are tree-like, in Parikh's sense, and that extending PDL by a concurrency operator, a global invariance operator and flowgraph programs, among others, adds no expressive power to PDL.

### The tableau method for temporal logic: an overview

- Philosophy
- 1985

An overview of the tableau decision method for propositional temporal logic and how it can be applied to other variants of temporal logic like branching time temporal Logic and extensions o f linear time temporal logic are presented.

### A propositional modal logic of time intervals

- PhilosophyJACM
- 1991

In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are interpreted with respect to time intervals rather than time points. To thisâ€¦

### Verification of concurrent programs: a temporal proof system

- Computer Science
- 1983

A proof system based on temporal logic is presented for proving properties of concurrent programs based on the shared-variables computation model and derived proof principles for these classes of properties obtained and lead to a compact representation of proofs.

### On the Relation of Programs and Computations to Models of Temporal Logic

- Philosophy, Computer ScienceTemporal Logic in Specification
- 1987

This paper first characterize the models and model generators of different versions of temporal logic using automata theory, then builds a classification of verification and synthesis methods that use temporal logic.

### Logics and Models of Concurrent Systems

- Computer ScienceNATO ASI Series
- 1985

A logic for the specification and proof of controllable processes of CCS and specification-oriented programming in TCSP and the theory of knowledge and ignorance in expert systems.