Logics of Time and Computation

by Robert Goldblatt

Book Overview

Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0937073946
• ISBN13: 9780937073940
• Release Date: September 1992
• Publisher: Center for the Study of Language and Informat
• Length: 180 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.6" x 6.1" x 9.0"