Textbook Title: Logics of Time and Computation
Textbook Description:
This free etextbook outlines the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Author: Robert Goldblatt
Subjects: Mathematics, Computer Science
Key words: Mathematics, Computer Science, Logic
Download URL: http://sul-derivatives.stanford.edu/derivative?CSNID=00003782&mediaType=application/pdf
Is The Link To This TextBook Not Working? We Are A Human Curated Site. We Understand Links Can Change. Please Help The TextBookGo Community By Notifying Our Staff If A Link Is No Longer Working. We Will Do Our Best To Find The Updated eTextbook Version Or Remove The Textbook.
Registered Users Can Save eTextbooks to Their TextBookGo Account And Receive Updates On New Available eTextbooks. Sign Up For Free!
Computer Science Scholarships related to this college textbooks field of study.