※ 引述《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