基本信息
文件名称：Modal Logic 模态逻辑型号信息说明书用户手册.pdf
文件大小：160.62 KB
总页数：28 页
更新时间：2026-01-22
总字数：约1.15万字
文档摘要
模态逻辑
杨睿之
复旦大学哲学学院
2024年秋季
前情提要
标准翻译ST(?)
x
ST(p)=Px
x
ST(⊥)=xx
x