ENGLISH

Logics of Time and Computation

By Robert Goldblatt

Book information

Publisher
CSLI Publications
Year
1992
ISBN
9780937073940, 0937073946
Language
english
Format
PDF
Filesize
7 MB (7092911 bytes)
Series
Center for the Study of Language and Information - CSLI Lecture Notes 7
Edition
2nd
Pages
200\200
Time added
2009-08-06 05:14:26

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.

Similar books