原创力文档模态逻辑
杨睿之
复旦大学哲学学院
2024年秋季
前情提要
κ-饱和模型、基于可数不完全超滤的超幂
迂回引理
VanBenthem刻画定理
认知逻辑
考虑一个人（agent）的认知逻辑（epistemiclogic）。中我
们用Kφ表示这个人“知道φ”。即其语言为
您可能关注的文档
- JUQUAN OPTOELECTRONIC TECHNOLOGY CO., LTD. JUQUAN OPTOELECTRONIC TECHNOLOGY 文档类型说明书用户手册.pdf
- ICKey（Shanghai）Internet and Technology Co.,Ltd. 说明书 301563 云汉芯城.pdf
- ScanScan扫码点餐餐饮应用说明书.pdf
- XpCloudes条码打印机xp-420b用户手册.pdf
- Patriot博帝集团高性能内存产品Viper Xtreme 5 DDR5、Viper Elite内存系列、Viper PV553 PCIe 5.0 Gen5 x4 SSD用户手册.pdf
- PATRIOT博帝科技DDR5内存8GB,16GB,32GB,64GB套装4800MHz用户手册.pdf
- Patriot博帝集团+内存产品+Viper Xtreme 5 DDR5,Viper Elite 5 DDR5,Viper PV553 SSD+说明书用户手册.pdf
- Patriot博帝科技SSDVP4300用户手册.pdf
- JST江苏博帝克精密机械有限公司 汽车零部件及通讯器材零件 汽车发动机油嘴、汽车门锁轴件、精密轴、手机摄像头光圈、内置天线、铆钉 竣工环境保护验收监测报告.pdf
- Soyer索亚螺柱焊机BMS-9、BMS-9V、PS-9、PS-9K、PS-1K用户手册.pdf
最近下载
- 高中数学 《高中数学知识要点及解题方法精粹》.docx VIP
- 山东省济南市槐荫区2024-2025学年二年级上册期末测试数学试卷（含答案）.pdf VIP
- 《GB_T 17626.5-2019电磁兼容 试验和测量技术 浪涌（冲击）抗扰度试验》专题研究报告.pptx
- CTT2000LM用户手册(维护分册)教程文件.docx VIP
- 2025年山东专升本计算机真题及答案.docx VIP
- 工业和信息化领域数据安全风险评估实施细则.pptx VIP
- 江西省“三新”协同教研共同体2025届高三12月联考生物学试卷（含答案）.docx VIP
- 配电线路器材 -横担、绝缘子.ppt
- 00J008-3钢筋砼挡土墙.pdf
- 2024年华北科技学院马克思主义基本原理概论期末考试题含答案.docx VIP
文档评论（0）