Logics of Time and Computation
by Robert Goldblatt
180 pages· 1992· ISBN 9780937073940
About
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.
Discuss Logics of Time and Computation with other readers
Join or start a book club for Logics of Time and Computation on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Logics of Time and Computation?
Sign up free on Readfeed, then browse public clubs or start your own club with Logics of Time and Computation as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Logics of Time and Computation with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Logics of Time and Computation with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.