哲学逻辑导论

【已存柜】蜻蜓点水地介绍了模态逻辑；认知逻辑及多主体知识逻辑、群体知识算子，和逻辑全知问题及其解决方案；时态逻辑（时态逻辑、线性时间逻辑、分支时间逻辑）；时态逻辑与认知逻辑的应用：模型检测和计算树逻辑、时态逻辑与认知逻辑结合的简化版本的信念、愿望、行动逻辑BDI、认证协议验证的BAN逻辑；道义逻辑，包括条件道义逻辑；条件句逻辑；多值逻辑；相干逻辑；和修正真理论 等 根据与刘虎老师，和同辈同学的交流，相干逻辑的习题的证明中模型应该加限制条件； 第68页分支时态逻辑的语义定义中“ M, h, s |= p，当且仅当，V (p, w) = 1，p是一个命题变元”，“w”或应为“s”； 第142页“10.3节的最后提到，卢氏三值逻辑的连接词不构成连接词的完全集”，根据书中内容，或应为“10.2”

简单明了，适合哲学学子整体把握需要的逻辑学的脉络。但学逻辑的话还需要专门的书。