Items related to Logics of Time and Computation (Center for the Study...
Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes) - Hardcover
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.
- PublisherThe Center for the Study of Language and Information Publications
- Publication date1992
- ISBN 10 0937073938
- ISBN 13 9780937073933
- BindingHardcover
- Edition number2
- Number of pages180
(No Available Copies)
Search Books: Create a WantIf you know the book but cannot find it on AbeBooks, we can automatically search for it on your behalf as new inventory is added. If it is added to AbeBooks by one of our member booksellers, we will notify you!
Create a Want