时间：2026年10月9日（周五）9:30 - 11:45 

地点：李兆基人文学苑2号楼206室 

报告人： 甘宁

题目：Aronszajn树与力迫公理

委员会：王彦晶（主席），钟盛阳，丁一峰，姚博凯 （导师）

报告人：蒋道朴 

题目：对称扩充的模态逻辑 

委员会：王彦晶（主席），钟盛阳，丁一峰，姚博凯 （导师）

报告人：王鸿仪 

题目：基于理论的知道值逻辑研究

委员会：王彦晶（导师），钟盛阳（主席），丁一峰，姚博凯

每人报告30分钟，问答15分钟。