Logics of Time and Computation

by Goldblatt, Robert

• ISBN13: 9780937073940
• ISBN10: 0937073946
• Edition: 2nd
• Format: Paperback
• Copyright: 1992-09-01
• Publisher: Stanford Univ Center for the Study

Summary

Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.

Table of Contents

Preface to the first edition

Preface to the second edition

Propositional Modal Logic

Syntax and semantics

Proof theory

Canonical models and completeness

Filtrations and decidability

Multimodal languages

Temporal logic

Some topics in metatheory

Some Temporal and Computational Logic

Logics with linear frames

Temporal logic of concurrency

Propositional dynamic logic

First-Order Dynamic Logic

Assignments, substitutions, and quantifiers

Syntax and semantics

Proof theory

Canonical model and completeness

Bibliography

Index

Table of Contents provided by Publisher. All Rights Reserved.