Logics of time and computation (CSLI lecture notes)

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.

Science & Math

Robert Goldblatt

Mathematics

Center for the Study of Language and Information

See the best price to sell, buy, or rent books by Robert Goldblatt. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Robert Goldblatt

See the best price to sell, buy, or rent books by Robert Goldblatt. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Logics of time and computation (CSLI lecture notes)

Logics of time and computation (CSLI lecture notes)