Logics of Time and Computation (Center for the Study of Language and Information

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

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)

2015-7-21 09:51:29 上传

Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes)

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Computation information Informatio formation informat

太感谢了，祝好运！