Logics of Time and Computation (Volume 7) (Lecture Notes) - Softcover

Goldblatt, Robert

 
9780937073940: Logics of Time and Computation (Volume 7) (Lecture Notes)
Softcover
ISBN 10: 0937073946 ISBN 13: 9780937073940
Publisher: Center for the Study of Language and Inf, 1992

Synopsis

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.

"synopsis" may belong to another edition of this title.

Book 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.

Review

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

"About this title" may belong to another edition of this title.

Publisher
Center for the Study of Language and Inf
Publication date
1992
Language
English
ISBN 10 
0937073946
ISBN 13 
9780937073940
Binding
Paperback
Edition number
1
Number of pages
180

Other Popular Editions of the Same Title

9780937073933: Logics of Time and Computation (Volume 7) (Lecture Notes)

Featured Edition

ISBN 10:  0937073938 ISBN 13:  9780937073933
Publisher: Center for the Study of Language..., 1992
Hardcover