Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


Want to measure area of any objects on the earth? Try GIS Visualizer.
 Title Logics of Time and Computation
 Author(s) Robert Goldblatt
 Publisher: Center for the Study of Language and Inf; 1 edition (September 1, 1992)
 Hardcover/Paperback: 180 pages
 eBook PDF (200 pages, 6.8 MB)
 Language: English
 ISBN10: 0937073946
 ISBN13: 9780937073940
 Share This:
Book Description
This is a short but excellent introduction to modal, temporal, and dynamic logic, etc. It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered.
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.
About the Authors Robert Goldblatt is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand.
:






















