Items related to Logics of time and computation (CSLI lecture notes)
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.
- PublisherCenter for the Study of Language and Information
- Publication date1987
- ISBN 10 0937073121
- ISBN 13 9780937073124
- BindingPaperback
- LanguageEnglish
Other Popular Editions of the Same Title
Search results for Logics of time and computation (CSLI lecture notes)
Seller Image
Logics of time and computation (CSLI lecture notes)
Published by
Center for the Study of Language, 1987
ISBN 10: 0937073121
ISBN 13: 9780937073124
Used
Paperback
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Shelf wear to covers (fold marks, black lines on back cover, scuffed), Binding is tight. Finding no markings in book. 131pp. Seller Inventory # mon0000026675
Quantity: 1 available
Seller Image
Logics of time and computation.
Published by
CSLI Publications, Stanford, 1987
ISBN 10: 0937073121
ISBN 13: 9780937073124
Used
Softcover
Seller: Emile Kerssemakers ILAB, Heerlen, Netherlands
Seller rating 5 out of 5 stars
23 cm. original softcover. x,132 pp. bibliography. index. "Lecture Notes". -(few signs of use, otherwise (very) good). 255g. Seller Inventory # 72684
Quantity: 1 available
Stock Image
Logics of time and computation (CSLI lecture notes)
Published by
Center for the Study of Language and Information, 1987
ISBN 10: 0937073121
ISBN 13: 9780937073124
Used
Soft cover
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Good. Type: Book Small plain label inside cover. Seller Inventory # 062015
Quantity: 1 available