基本信息
文件名称：YANGRUIZHI 逻辑学 入门指南.pdf
文件大小：174.29 KB
总页数：23 页
更新时间：2026-01-22
总字数：约5.38千字
文档摘要
模态逻辑
杨睿之
复旦大学哲学学院
2024年秋季
前情提要
κ-饱和模型、基于可数不完全超滤的超幂
迂回引理
VanBenthem刻画定理
认知逻辑
考虑一个人（agent）的认知逻辑（epistemiclogic）。中我
们用Kφ表示这个人“知道φ”。即其语言为