2024年11月8日上午9:30-11:30，中心开展了2024年秋季学期第四次现代逻辑讨论班活动。中心博士生韩琳琳在此次讨论班上带来了题为“如何证明一个逻辑的简洁性”的报告，博士研究生孙晴、单成、郑怡、彭海琪、潘易欣，硕士研究生何森洋、董振璐参与了这次讨论班。

报告人首先介绍了为什么需要简洁性。动态算子影响了语言的简洁性，从而影响了决策问题的复杂度。当两个逻辑具有相同的表达力时，证明某个逻辑的语言更具有简洁性是一个有意义的工作。随后报告人介绍了简洁性的定义。逻辑系统的简洁性指该系统紧凑表示问题的能力。简单地说，对于逻辑系统 A 和 B。如果 B 中的每个公式都可以等价的翻译到 A 的公式中，并且不会引起该公式长度的指数增长，则称 A 至少和 B 一样简洁。最后报告人介绍了证明简洁性的三种方法。并以Van Ditmarsch的论文“Some Exponential Lower Bounds on Formula-size in Modal Logic”为例子，具体介绍了如何使用Formula size games的方法来证明简洁性。

(韩琳琳/供稿 熊作军/审核 彭子骄/发布）