豆瓣
扫码直接下载
可以作为周北海《模态逻辑导论》的补充，少模态谓词逻辑，多了互模拟，过滤和有穷模型性质
用合适的形式系统解决合适的问题，这就是给我的启发。
比上不足，比下不足。不是入门书籍，但作为拓展，又显得有些单薄。
> 模态逻辑
1 有用 马蹄北去 2021-01-14 14:10:01
可以作为周北海《模态逻辑导论》的补充，少模态谓词逻辑，多了互模拟，过滤和有穷模型性质
1 有用 佳木斯的菠萝 2017-12-11 18:09:33
用合适的形式系统解决合适的问题，这就是给我的启发。
0 有用 圆的侧边 2026-08-11 15:04:36 广东
比上不足，比下不足。不是入门书籍，但作为拓展，又显得有些单薄。