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

日期：2024年1月3日（星期三）

报告1

时间：10:30 - 11:15
报告人：刘彬（2021级硕士研究生）
题目：多步计划和联盟的知道如何逻辑
导师：王彦晶
委员会：丁一峰（主席），王彦晶，钟盛阳，姚博凯
秘书：唐闻

报告2

时间：11:15 - 12:00
报告人：阮立清（2021级硕士研究生）
题目：循环时间结构中的时态逻辑
导师：丁一峰
委员会：王彦晶（主席），钟盛阳，丁一峰，姚博凯
秘书：马千里

报告3

时间：14:30 - 15:15
报告人：刘冠群（2021级硕士研究生）
题目：“哥德尔析取”在公理化真理论中的证明
导师：邢滔滔
委员会：王彦晶（主席），邢滔滔，钟盛阳，丁一峰，姚博凯
秘书：邓徐冰

报告4

时间：15:15 - 16:00
报告人：王林峰（2021级硕士研究生）
题目：论素朴概括公理
导师：邢滔滔
委员会：王彦晶（主席），邢滔滔，钟盛阳，丁一峰，姚博凯
秘书：龚霖振

报告5

时间：16:00 - 17:00
报告人：陈至诚（2020级博士研究生）
题目：一些非经典逻辑的研究
导师：邢滔滔
委员会：王彦晶（主席），邢滔滔，钟盛阳，丁一峰，姚博凯
秘书：何思源