基本信息
文件名称：Fudan品牌英文+中文名称课程资料型号信息说明书.pdf
文件大小：124.97 KB
总页数：18 页
更新时间：2026-01-22
总字数：约4.5千字
文档摘要
模态逻辑
杨睿之
复旦大学哲学学院
2021年春季
前情提要
模态逻辑的语言，模态语言类型
框架与模型
模态逻辑的语义概念：M,w?，M?，F,w?，
F?，F?
模态语义后承
记法
如果S是模型类，称M是来自S的模型，即M∈S
如果S是框架类，称M