• 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
• ISBN-10: 0937073946
• ISBN-13: 978-0937073940
• 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.

• Robert Goldblatt is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand.

• Amazon

• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Discrete and Finite Mathematics
• Artificial Intelligence, Machine Learning, and Logic Programming
• Theory of Computation Books
• Computational and Algorithmic Mathematics Books

• Logics of Time and Computation (Robert Goldblatt)

• A Friendly Introduction to Mathematical Logic (Christopher C. Leary)
• A Problem Course in Mathematical Logic (Stefan Bilaniuk)
• A Concise Introduction to Mathematical Logic (Wolfgang Rautenberg)
• Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Richard Zach)