基本信息
文件名称：模态逻辑模态逻辑说明书用户手册.pdf
文件大小：102.94 KB
总页数：16 页
更新时间：2025-10-27
总字数：约4.5千字
文档摘要
模态逻辑
杨睿之
复旦大学哲学学院
2021年春季
前情提要
模态不变性
不交并
生成子模型
满同态
互模拟与模态等价
树展开
定义
我们称偏序(W,R)是树，当且仅当对任意w∈W，R