Logics of Time and Computation (Volume 7) (Lecture Notes)
Released: Sep 15, 1992
Publisher: Center for the Study of Language and Inf
Format: Hardcover, 180 pages
to view more data
Description:
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.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.