Epistemic Logic

知识的逻辑（2026秋季） Epistemic Logic 
教师：王彦晶， 时间：每周三 7－9节 地点：文史楼107
相关其他课程详情见逻辑语言认知中心的网站：http://logic.pku.edu.cn

News:

10月14日第五次课（Slides）

我们介绍了动态知识逻辑的思想来源，最基本的PAL的思想和基于reduction的公理化。

  • Jan Plaza: Logics of public communications Synthese 58(2)165-179 2007 (reprint). （大家可以看看Plaza用的符号，我们之后还会回到这篇经典文章）
  • Hans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 151(2): 201-232 (2006) （关于什么公式在announce后可以保持真值）
  • Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III: Information dynamics and uniform substitution. Synthese 190(Supplement-1): 31-55 (2013) （关于对substitution 封闭的PAL子逻辑）
  • Wesley H. Holliday, Thomas F. Icard III: Moorean Phenomena in Epistemic Logic. Advances in Modal Logic 2010: 178-199 （关于说出来就变假的公式的语形刻画）
  • Carsten Lutz: Complexity and succinctness of public announcement logic. AAMAS 2006: 137-143 关于 PAL 简洁性的文章
  • Tim French, Wiebe van der Hoek, Petar Iliev, and Barteld Kooi. On the succinctness of some
  • modal logics. Artificial Intelligence, 197:56–85, 2013.
  • Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang: True lies. Synthese 195(10): 4581-4615 (2018) （关于假话说出来就变真的以及来回变真值的命题的刻画）
  • Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011) （关于通过组合的方式造模型的工作）

9月30日第四次课（Slides）

我们介绍了和知识逻辑相关的一些“兄弟”逻辑以及他们是怎么结合在一起的。

参考文献：

9月23日第三次课（Slides）
We discussed the basic framework of propositional epistemic logic

References：

9月 16 日 第二次课，Slides

We surveyed the early history of epistemic logic.

References:

9 月 11 日第一次课 (课程介绍，Slides)

我们先介绍了课程的一些基本信息，然后从什么是逻辑学讲起，结合一些和知识有关的 puzzle 介绍了知识逻辑的一些基本内容。本次课主要面向没有模态逻辑基础来旁听第一次课的同学。

相关参考：

  • 关于“知道”逻辑的中国开拓者北大的马希文教授，
  • 马希文曾统筹了奇书Gödel, Escher, Bach: an Eternal Golden Braid（GEB）的翻译 中文版
  • 请参考王仁俊老师的博士论文的2-3章关于epistemic logic发展的部分，我们之后会梳理知识逻辑最原初的思想脉络：Ren-June Wang: Timed Modal Epistemic Logic. PhD thesis, City University of New York (2011)
  • 相关会议： TARK，LOFT，AiML，LORI, KR, AAMAS 等

本课程定位为研究导向的偏技术性逻辑学课程，建议有较好模态逻辑技术基础的同学选课，欢迎旁听。

大概内容（Contents）：

 知识逻辑（Epistemic Logic）起源于哲学中对知识概念及其推理的分析，后广泛应用于理论计算机科学、人工智能、以及博弈论等各相关学科中对于知识的刻画和推理。传统的知识逻辑集中处理“知道如是”（knowing that）的逻辑并取得了较为丰富的结果。然而日常生活中的知识陈述除了”知道如是“以外还有很多种，比如“知道如何”（knowing how）、“知道为何”（knowing why）、”知道什么“（knowing what）等等。这些知识的概念和推理规则是否与传统的”知道如是“类似？在逻辑上应该如何刻画？有何有趣的技术问题及解决方案？本课将梳理知识逻辑的哲学及技术发展，特别突出前述非经典知识逻辑的最新技术结果，特别是一阶模态逻辑的一系列可判定的打包片段以及非经典逻辑的知识逻辑翻译。

大概计划（Plan）：

Lecture 1 Introduction

Lecture 2 A Brief History

Lecture 3 Classical Problems

Lecture 4 Friends of EL

Lectures 5-7 Dynamics

Lecture 8 Know-wh: Intro

Lecture 9 Know-whether

Lecture 10 Know-what

Lecture 11 Know-how

Lecture 12 Know-why/who

Lecture 13 Bundled fragments of FOML as a new epistemic framework

Lecture 14 Nonclassical logics as epistemic logic

Lecture 15-16 Student presentations


目标（Objectives）：

  • 知识储备：知道知识逻辑这个领域中的思想基础，主要分支、重要问题和基本结果。 
  • 逻辑技能：掌握一些非正规的模态逻辑的公理化以及刻画表达力的技术。
  • 学术技能：熟练阅读英文文献（精读），能自主发现问题，能熟练使用相关信息化工具收集跟踪文献，能用LaTeX写作合乎规范的学术文章并做学术报告。 
  • 态度培养：开放且审慎的心态，不盲从迷信权威，不畏惧复杂问题，忍受做研究过程中的挫折感与不确定性，逐渐形成学术品位，遵守学术伦理做真诚的探究。

教学材料（Course material）：

以课堂幻灯片及相关文献为主，经典知识逻辑部分的参考书：

  • Fagin, R., Halpern J., Moses, Y., and Vardi, M.: Reasoning about knowledge The MIT Press 1995
  • van Ditmarsch, H., Halpern, J., van der Hoek, W., and Kooi B., eds: Handbook of Epistemic Logic College Publications 2015
  • van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2007): Dynamic Epistemic Logic, Springer
  • van Benthem, J. (2011): Logical Dynamics of Information and Interaction
  • Rendsvig, Rasmus, John Symons, and Yanjing Wang, Epistemic Logic, The Stanford Encyclopedia of Philosophy (Summer 2025 Edition), Edward N. Zalta & Uri Nodelman (eds.).
  • R. Ramanujam and Yanjing Wang, Quantified Epistemic Logic, manuscript for Modal Logic Today

考核（Grading）：

  • 小论文（70%） 
  • 学术报告及课堂讨论（30%）

小论文要求：符合学术规范，结构完整，用LaTeX编译完成，有一定的原创性，能解决Epistemic Logic相关的问题，需要披露AI使用的关键方式，语言用中英文均可。可参考这里的建议。

课堂报告要求：符合学术规范，需要讲清研究问题及动机、文献中已有的相关工作、原创内容的核心思想及最重要的论证和证明。

大致安排（Plan）：

老师讲授+小论文课题讨论及报告

预备知识（Prerequisites）：

一阶逻辑基本知识及模态逻辑的模型论、公理化、判定性技术。

Office hours：

办公室：哲学系2号楼241 周四中午1 pm – 2 pm（请提前预约）。
意见、建议或其它问题请发email：y.wang艾特pku.edu.cn