Items related to Logics of Time and Computation

Logics of Time and Computation - Softcover

Goldblatt, Robert

 
9780226300948: Logics of Time and Computation
Softcover
ISBN 10: 0226300943 ISBN 13: 9780226300948
Publisher: University of Chicago Press, 1987

This specific ISBN edition is currently not available.

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.

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.

  • PublisherUniversity of Chicago Press
  • Publication date1987
  • ISBN 10 0226300943
  • ISBN 13 9780226300948
  • BindingPaperback
  • LanguageEnglish
  • Number of pages142

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0937073946 ISBN 13:  9780937073940
Publisher: Center for the Study of Language..., 1992
Softcover