9780937073940 / 0937073946

Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes) 1st edition by Goldblatt, Robert published by Center for the Study of Language and Inf [ Hardcover ]


Publisher:Center for the Study of Language and Inf



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 33


Used books: 1 - 25 of 68