Logics of time and computation. (English) Zbl 0635.03024

Goldblatt, Robert

CSLI Lecture Notes, No. 7. Stanford: Center for the Study of Language and Information, Leland Stanford Junior University. Distr. by The University of Chicago Press, Chicago-London. IX, 131 p.; Cloth: £19.30; $ 29.95 (in Europe); Paper: £9.50; $ 14.50 (in Europe) (1987).

These notes are based on the author’s lectures given at Stanford in the spring quarter of 1986. They consist of three parts. Part one is concerned with the basic theory of normal modal and temporal propositional logics, including technically the canonical model construction and the filtration method which are used for completeness theorems and decidability results. Part two deals with temporal logics for discrete, dense and continuous times, the temporal logic of henceforth, next and until, and the propositional dynamic logic of regular programs. Part three is devoted to first-order dynamic logic.

Reviewer: H.Nishimura

MSC:

03B70	Logic in computer science
03B45	Modal logic (including the logic of norms)
03-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q65	Abstract data types; algebraic specification

Keywords:

modal logic; concurrent programs; filtration method; temporal logic; propositional dynamic logic of regular programs; first-order dynamic logic