日期：2025年5月23日（周五）

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

时间：9:30-10:30

答辩人：陈至诚

论文题目：对一种基础命题逻辑以及Medvedev逻辑的研究

主席：王彦晶

委员：俞珺华，范杰，钟盛阳，丁一峰，姚博凯

秘书：刘力恺

时间：11:00-12:00

答辩人：王一廷

论文题目：基于知道如何的可知性逻辑研究

主席：张立英

委员：范杰，邢滔滔，钟盛阳，丁一峰

秘书：王云崧

时间：14:30-15:30

答辩人：何思源

论文题目：说谎者悖论与句方程理论

主席：文兰

委员：叶峰，张立英，王彦晶，钟盛阳，丁一峰，姚博凯

秘书：刘力恺

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