Logics of Time and Computation by Robert Goldblatt
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.
Goldblatt, Robert: - Robert Goldblatt is a Professor of Pure Mathematics at the Victoria University of Wellington, New Zealand, and a Fellow of the Royal Society of New Zealand. He has served as the Co-ordinating Editor of the Journal of Symbol Logic and has been a Managing Editor of Studia Logica for the past two decades.
| SKU | Unavailable |
| ISBN 13 | 9780937073940 |
| ISBN 10 | 0937073946 |
| Title | Logics of Time and Computation |
| Author | Robert Goldblatt |
| Series | Center For The Study Of Language And Information Publication Lecture Notes |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Centre for the Study of Language & Information |
| Year published | 1992-06-30 |
| Number of pages | 180 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |