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.


Editorial ReviewsReview"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

Book DescriptionSets 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.

Product Details

• Series: Center for the Study of Language and Information - Lecture Notes (Book 7)
• Paperback: 180 pages
• Publisher: Center for the Study of Language and Inf; 1 edition (September 1, 1992)
• Language: English
• ISBN-10: 0937073946
• ISBN-13: 978-0937073940
  

Logics of Time & Computation.pdf
大小:(5.61 MB)

 马上下载