Modal Logic 模态逻辑型号信息说明书用户手册.pdf

Modal Logic 模态逻辑型号信息说明书用户手册.pdf

模态逻辑

杨睿之

复旦大学哲学学院

2024年秋季

前情提要

标准翻译ST(ϕ)

x

ST(p)=Px

x

ST(⊥)=xx

x

文档评论(0)

1亿VIP精品文档

相关文档