2025年3月18日上午9:00-11:30，中心开展了2025年夏季学期第一次现代逻辑讨论班活动。中心博士生郑怡在此次讨论班上分享了van Ditmarsch等人的经典著作“Dynamic Epistemic Logic”第二章以及第七章第二节的内容，部分博士研究生、硕士研究生及本科生参与了本次讨论班。

在大家的共同讨论下，现代逻辑讨论班制定了完整的报告计划，明确了学习目标与内容。本学期的现代逻辑讨论班将以认知逻辑为起点来了解哲学逻辑的前沿问题。我们计划用四次的讨论来了解认知逻辑、公开宣告逻辑和行动模型逻辑的基本知识，做好知识储备，随后按各位同学的兴趣深入探讨现代逻辑的各个领域，并进行分享讨论。报告人首先介绍了全书框架及各章的依赖关系，随后报告人以GLO模型引入，介绍了认知逻辑中S5系统的基本模型、语形、语义及其公理系统。最后报告人介绍了S5系统的完全性证明，并比较了正规模态逻辑与S5系统的完全性证明。

（郑怡/供稿 熊作军/审核 彭子骄/发布）