zbMATH — the first resource for mathematics

Logics of time and computation. (English) Zbl 0635.03024
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

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