Fudan品牌英文+中文名称课程资料型号信息说明书.pdf

Fudan品牌英文+中文名称课程资料型号信息说明书.pdf

模态逻辑

杨睿之

复旦大学哲学学院

2021年春季

前情提要

模态逻辑的语言,模态语言类型

框架与模型

模态逻辑的语义概念:M,wϕ,Mϕ,F,wϕ,

Fϕ,Fϕ

模态语义后承

记法

如果S是模型类,称M是来自S的模型,即M∈S

如果S是框架类,称M

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档