书籍介绍
《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明，以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习，可供读者更好地理解相关知识。
精彩摘录
- "定义集合通常有三种方法：外延、内涵、归纳。外延方法即直接列举出集合中的所有元素，通常只适用于有穷集。内涵方法可用于定义无穷集，但有时我们很难找到这样的刻画性质。归纳方法可以看作外延方法与内涵方法的结合法的步骤如下： （1）首先给出集合中的基本元素，称为基础步； （2）然后给出由已有元素构造新元素的规则（运算），称为归纳步； （3）最后指出集合中不再包含其他元素，称为封闭步。"
- "R是移位自反的：⇔对所有x，y∈W，Rxy蕴含Ryy"
- "R是移位对称的：⇔对所有x, y, z∈W，若Rxy，则Ryz蕴含Rzy"
- "R是移位传递的：⇔对所有x, y, z, u∈W，若Rxy，则Ryz且Rzu蕴含Ryu"
- "R是欧性的：⇔对所有x, y, z∈W，Rxy且Rxz蕴含Rzy"
- "欧性 ⇨ 移位自反性 + 移位对称性 + 移位传递性"
- "4和4ᵈ定义了传递性。"
- "□◇◇p↔□◇p"
目录
用户评论
目前内容最全面细致的中文模态逻辑教材（后面部分印刷错误有点多）
各种英文材料综合下的浓缩版中文手册，一些名词的翻译似乎未采用通行译法，也没有附上英文，读起来有点费劲…比较适合在已熟悉大部分内容的情况下随手翻查，但如果是完全不懂modal logic的人当作自学教材应该会比较可怕
国内最好的模态逻辑！
文老师，我的超人。
第一部分第二章总结的很好，定义了逻辑；给认识各种逻辑系统和形式语言打下了基础；模态逻辑部分搞过的小伙伴会觉得很不错，主要来收集相关文献的
收藏