Items related to Logics of Time and Computation (Center for the Study...
Logics of Time and Computation (Center for the Study of Language & Information - Lecture Notes) - Hardcover
Synopsis
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.
- PublisherUniversity of Chicago Press
- Publication date1987
- ISBN 10 0226300935
- ISBN 13 9780226300931
- BindingHardcover
- LanguageEnglish
- Number of pages142
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
