原创力文档模态逻辑
杨睿之
复旦大学哲学学院
2021年春季
前情提要
模态逻辑的语言，模态语言类型
框架与模型
模态逻辑的语义概念：M,wϕ，Mϕ，F,wϕ，
Fϕ，Fϕ
模态语义后承
记法
如果S是模型类，称M是来自S的模型，即M∈S
如果S是框架类，称M
您可能关注的文档
- JUQUAN OPTOELECTRONICS钜泉光电科技公司公告说明书用户手册.pdf
- Guanquan光电科技说明书用户手册2024年限制性股票激励计划（草案）.pdf
- JUQUAN钜泉光电科技品类信息型号信息说明书用户手册.pdf
- MPS霍尔效应电流传感器解决方案电流检测技术型号信息说明书用户手册.pdf
- By4061N竹笋团队组装手册BMCU-C-霍尔-370电机-高扭矩版说明书用户手册.pdf
- 思翼科技宽电压高精度电源模块霍尔宽电压高精度用户手册.pdf
- JUQUAN OPTOELECTRONIC TECHNOLOGY CO., LTD. JUQUAN OPTOELECTRONIC TECHNOLOGY 文档类型说明书用户手册.pdf
- ICKey（Shanghai）Internet and Technology Co.,Ltd. 说明书 301563 云汉芯城.pdf
- ScanScan扫码点餐餐饮应用说明书.pdf
- XpCloudes条码打印机xp-420b用户手册.pdf
- 2026届贵州省毕节织金县联考数学九上期末学业水平测试模拟试题含解析.doc
- 2026届黑龙江省鸡西市东方红林业局中学高一物理第一学期期中质量跟踪监视试题含解析.doc
- 2026届遂溪县第一中学物理高二第一学期期末质量检测模拟试题含解析.doc
- 福建省福州八中2026届高三物理第一学期期中学业水平测试模拟试题含解析.doc
- 四川邻水实验学校2026届物理高一第一学期期末经典模拟试题含解析.doc
- 2026届北京市东城区第六十六中学九年级数学第一学期期末调研试题含解析.doc
- 2026届广东省广州市黄埔区数学九上期末综合测试模拟试题含解析.doc
- 山东省临沂市兰陵县2026届八年级数学第一学期期末学业水平测试模拟试题含解析.doc
- 山东省安丘市、高密市、寿光市2026届八年级数学第一学期期末教学质量检测试题含解析.doc
- 上海师范大学附属中学2026届物理高二第一学期期末复习检测模拟试题含解析.doc
文档评论（0）