日期：2026年5月22日（周五）

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

时间：9:30-12:30

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

论文题目：带基数比较的社会网络传播逻辑

答辩人：白云飞

导师：丁一峰

论文题目：Kracht定理证明重构与算法实现

答辩人：高麟智（双学位）

导师：王彦晶

论文题目：量子逻辑中的命题概念

答辩人：李勇刚

导师：钟盛阳

论文题目：正交模格的无选择公理谱预层对偶

答辩人：孙晟泽

导师：钟盛阳

论文题目：现象学视角下的哥德尔析取论题

答辩人：王艺瑄

导师：丁一峰

论文题目：合流框架上的一阶模态逻辑

答辩人：喻伊阳

导师：丁一峰

论文题目：ZFU下力迫扩张和无素扩张的交换性

答辩人：张好风（双学位）

导师：姚博凯

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