ENGLISH

Logics of time and computation

By Robert Goldblatt

Book information

Publisher
CSLI Publications
Year
1992
ISBN
9780937073933, 0937073938
Language
english
Format
DJVU
Filesize
1 MB (1065237 bytes)
Series
Center for the Study of Language and Information - CSLI Lecture Notes 7
Edition
2nd
Pages
196\196
Library
kolxoz
Time added
2009-12-04 00:34: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