2015秋季报告 （当初上课时间：周二15:10-18:00 地点：三教506）
2015-12-29 报告人：刘佶鑫 点评人：李楷 题目：GL in Normal Modal Logic and Tense Logic 附件：
2015-12-22 报告人：陈科名 题目：Great Expectations: Introducing a Surreal Decision Theory
2015-12-15 报告人：高珂 题目：A Super Introduction to Reverse Mathematics 附件：
2015-12-08 报告人：俞珺华 题目： A Brief Introduction to Justification Logic 附件：
2015-12-01 报告人：邢滔滔 点评人：王强 题目：《墨经》中的类名 附件：
2015-11-24 报告人：陈波 点评人：彭杉杉 题目：Designative and Predicative Uses of Terms: Against the Distinction of Rigidity and Non-Rigidity 附件：
2015-11-17 报告人：李延军 题目：不确定规划中的动态知识推理 附件：
2015-11-10 报告人：王强 点评人：程莹莹 题目：Kit Fine’s Theory of Arbitrary Objects 附件：
2015-11-03 报告人：程莹莹 点评人：王强 题目：Reasoning about Others‘ Knowledge 附件：
2015-10-27 报告人：Conden Chao 点评人：高珂 题目：Gödel‘s Incomleteness 附件：
2015-10-20 报告人：王海若 点评人：彭杉杉 题目：Fixing the Tolerance Principle
2015-10-13 报告人：T. Williamson 题目：Modal Science 附件：
2015-09-29 报告人：李楷 点评人：刘佶鑫 题目：From rules to runs: A dynamic epistemic take on imperfect information games
2015-09-22 报告人：彭杉杉 点评人：程莹莹 题目：从语义角度反驳克里普克的专名理论 附件：
2015-09-15 报告人：T. Iida 点评人：陈波 题目：Mass/count distinction in a classifier language 附件：
