A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on unive

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.