Ebook: Logics of Time and Computation
Author: Robert Goldblatt
- Genre: Mathematics // Logic
- Series: Center for the Study of Language and Information - CSLI Lecture Notes 7
- Year: 1992
- Publisher: CSLI Publications
- City: Philadelphia
- Edition: 2nd
- Language: English
- pdf
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 the book Logics of Time and Computation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)