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 notes)
• Publisher: Center for the Study of Language and Information
• Publication Date: 1987
• Language: English
• ISBN 10: 0937073113
• ISBN 13: 9780937073117
• 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.