日期：2025年5月20日（周二）

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

秘书：王子路，杨远哲

时间：14:00-14:40

答辩人：邓徐冰

论文题目：基于悖论的不完全性定理

主席：王彦晶

委员：钟盛阳，丁一峰，姚博凯

时间：14:40-15:20

答辩人：马千里

论文题目：带命题量词模态逻辑的升论域模型

主席：邢滔滔

委员：王彦晶，钟盛阳，姚博凯

时间：15:20-16:00

答辩人：唐闻

论文题目：带有编码的一阶逻辑与算术

主席：邢滔滔

委员：钟盛阳，丁一峰，姚博凯

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