2016春季报告 （当初上课时间：周二15:10-18:00 地点：三教107）
2016-06-07 报告人：王驹 题目：描述逻辑的历史背景、基本内容及意义 附件：
2016-05-31 报告人：Chao, Gao and Liu 题目：Searching for New Axioms 附件：
2016-05-24 报告人：叶峰 题目：语言崇拜与人工智能 附件：
2016-05-17 报告人：王强 点评人：程莹莹 题目：西方汉学家对中国古代逻辑的研究 附件：
2016-05-10 报告人：彭杉杉 点评人：程莹莹 题目：Kripke’s Thoughts of Fictional Names 附件：
2016-05-03 报告人：顾韬 题目：“Knowing value” logic as a normal modal logic 附件：
2016-04-26 报告人：程莹莹 点评人：王强 题目：A Spectrum of Degrees of Knowledge Sharing 附件：
2016-04-19 报告人：陈波 题目：Vagueness Without Boardline Cases
2016-04-12 报告人：郑植 点评人：陈千千 题目：构式语法的论元结构分析理论 附件：
2016-04-05 报告人：孙鑫 题目：Logic and Games for Ethical Agents 附件：
2016-03-29 报告人：刘佶鑫 点评人：李楷 题目：Sabotage modal logic: proof system, expressivity and f.m.p. 附件：
2016-03-22 报告人：高珂 点评人：Conden Chao 题目：Induction and Nonstandard Models of Arithmetic 附件：
2016-03-15 报告人：Conden Chao 点评人：高珂 题目：Gödel‘s First Incompleteness Theorems for Non-Recursively Enumerable Theories 附件：
2016-03-08 报告人：王海若 点评人：苏兴池 题目：Assignments for Persons 附件：
2016-03-01 报告人：李锴 点评人：刘佶鑫 题目：有穷宽度S4逻辑的有穷模型性问题 附件：
2016-02-23 报告人：郑植 点评人：徐超 题目：自然语言、形式语法与自动机 附件：
