ENGLISH

Logics of Time and Computation

By Robert Goldblatt

Book information

Publisher
CSLI Publications
Year
1992
ISBN
9780937073940, 0937073946
Language
english
Format
PDF
Filesize
6 MB (5882960 bytes)
Series
Center for the Study of Language and Information - CSLI Lecture Notes 7
Edition
2nd
Pages
200\200
Topic
Mathematics Logic
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-07-20 20:06:45

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