※ 引述《JaegwonKim (金在權)》之銘言： : 請問各位有沒有推薦的模態邏輯入門書？ : 另外想知道要了解模態邏輯是否應該具備某些基礎 : 像是一階邏輯、述詞邏輯、後設邏輯等... : 謝謝\(_ _)/ 學習 Modal logic 看你的應用範圍, P. Blackburn 等三人寫的 Modal Logic 內容扎實也算清楚, 該用到的基礎也都有提到。 但是對近來顯學如 liner temporal logic, coalgebraic modal logic 隻字未提, 如果是要拿來用的話, 這本當作字典參考不錯, 但是拿來自學速度有些太慢了。 像我從來就沒翻過 Computability and Complexity 那章, 而是跳著看到 Algebras and General Frame 覺得論證稍嫌冗長。 如果是電腦科學背景想要入門, 可以試著從 modal mu-calculus 下手, 如 LTL, CTL 等都可以用 modal mu-calculus 語言寫成。 Y. Venema 有寫過講義 http://staff.science.uva.nl/~yde/teaching/ml/mu/mu2008.pdf modal logic 用第一章解決掉。 可以參考一下, 但我自己也是草草看過, 只抓有需要的部份看而已, 消化不良別怪我 -- XOO's http://xcycl.wordpress.com/ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 82.36.125.120