9780937073933 / 0937073938

Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes)


Publisher:Center for the Study of La..., 1992



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 - 5 of 5


Used books: 1 - 10 of 20