This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
具體描述
讀後感
关于Modal Logic，这是一本很“德国”味道的教材，对于习惯了美式教材的人来说，繁冗而严谨的叙述直让人睡觉。同样，和美式教材出一本书就必须cover全部topic的方式不同，这本书力图把每一个涉及的问题讲清楚。 简单来说，Modal Logic即是加入了<>Diamond和[]Box两个符号，以自...
評分关于Modal Logic，这是一本很“德国”味道的教材，对于习惯了美式教材的人来说，繁冗而严谨的叙述直让人睡觉。同样，和美式教材出一本书就必须cover全部topic的方式不同，这本书力图把每一个涉及的问题讲清楚。 简单来说，Modal Logic即是加入了<>Diamond和[]Box两个符号，以自...
評分关于Modal Logic，这是一本很“德国”味道的教材，对于习惯了美式教材的人来说，繁冗而严谨的叙述直让人睡觉。同样，和美式教材出一本书就必须cover全部topic的方式不同，这本书力图把每一个涉及的问题讲清楚。 简单来说，Modal Logic即是加入了<>Diamond和[]Box两个符号，以自...
評分关于Modal Logic，这是一本很“德国”味道的教材，对于习惯了美式教材的人来说，繁冗而严谨的叙述直让人睡觉。同样，和美式教材出一本书就必须cover全部topic的方式不同，这本书力图把每一个涉及的问题讲清楚。 简单来说，Modal Logic即是加入了<>Diamond和[]Box两个符号，以自...
評分关于Modal Logic，这是一本很“德国”味道的教材，对于习惯了美式教材的人来说，繁冗而严谨的叙述直让人睡觉。同样，和美式教材出一本书就必须cover全部topic的方式不同，这本书力图把每一个涉及的问题讲清楚。 简单来说，Modal Logic即是加入了<>Diamond和[]Box两个符号，以自...
用戶評價
經典，不說什麼瞭
评分我個人認為這是從計算機科學的角度研究模態邏輯的，最好的書籍之一吧
评分讀瞭前四章
评分入門書籍
评分布萊剋本這本模態邏輯是非常重要的參考教材和資料
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有