Logics of time and computation (CSLI lecture notes)

Robert Goldblatt

ISBN 10: 0937073113 / ISBN 13: 9780937073117

Published by Center for the Study of Language and Information, 1987

About this Item

Very Good. Seller Inventory # D8S0-3-M-0937073113-4

Bibliographic Details

Title: Logics of time and computation (CSLI lecture...

Publisher: Center for the Study of Language and Information

Publication Date: 1987

Binding: hardcover

Condition: Very Good

Book Type: book

About this title

Synopsis:

Book by Goldblatt, Robert

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.