2018春季报告 （当初上课时间：周二15:10-18:00 地点：一教105）
2018-07-10 报告人：魏宇 题目：
2018-07-03 报告人：王强 题目：
2018-06-26 报告人：刘诗霄 题目：
2018-06-19 报告人：党学哲 题目：
2018-06-12 报告人：邢启磊 点评人：胡兰双 题目：Zalta’s Elementary Object Theory 附件：
2018-06-05 报告人：刘默 点评人：高珂 题目：Some Undecidable Fragments of First-Order Modal Logic 附件：
2018-05-29 报告人：方静芝 点评人：陈千千 题目：The HP Definition of Actual Causality 附件：
2018-05-22 报告人：徐超 点评人：郑植 题目：常识推理简介 附件：
2018-05-15 报告人：胡兰双 点评人：郑植 题目：逻辑基础问题研究 附件：
2018-05-08 报告人：郑植 点评人：陈千千 题目：基于动作概念和事件概念的动词形式语义 附件：
2018-04-24 报告人：陈波 题目：Widescopism and caplans Against Widescopism 附件：
2018-04-17 报告人：蔡少伟 题目：Improving local search for SAT via programming by optimization
2018-04-10 报告人：高珂 点评人：刘诗宵 题目：On End Extension of Models of Subsystems of Peano Arithmetic 附件：
2018-04-03 报告人：陈千千 点评人：党学哲 题目：反事实条件句与Sobel序列 附件：
2018-03-27 报告人：谷振诣 点评人：邢滔滔 题目：中国古代哲学的“逻辑”
2018-03-20 报告人：邢启磊 点评人：魏宇 题目：Kit Fine’s Ignorance of Ignorance 附件：
2018-03-13 报告人：Valentin Goranko 题目：Interval-based temporal logics: an overview
2018-03-06 报告人：刘默 点评人：苏兴池 题目：A Brief Introduction to First-Order Modal Logic 附件：
2018-02-27 报告人：方静芝 点评人：刘诗霄 题目：Proving Arrow’s Theorem in Modal Logic 附件：
