Welcome to E-Books Directory
This is a freely downloadable e-book.

Logics of Time and Computation

Logics of Time and Computation
by Robert Goldblatt

Publisher: Center for the Study of Language 1992
ISBN/ASIN: 0937073946
ISBN-13: 9780937073940
Number of pages: 200

Description:
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

 Download or read it online here:

Download link

 (6.8MB, PDF)