Logics of Time and Computation (Paperback) (ISBN-13: 9780937073940)

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.

Author: Robert Goldblatt
ISBN-10: 0937073946
ISBN-13: 9780937073940
Publisher: Center for the Study of Language and Informat
Language: English
Published: 06/30/1992
Pages: 180
Format: Paperback
Weight: 0.73lbs
Size: 9.00h x 6.08w x 0.62d