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.
Other Popular Editions of the Same Title
Search results for Logics of time and computation (CSLI lecture notes)
Stock Image
Logics of Time and Computation
Published by
CSLI Publications/Center for the Study of Language & Information, 1987
ISBN 10: 0937073113
ISBN 13: 9780937073117
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 15995526-6