2009秋季报告 （当初上课时间：周三13:30-16:30 地点：一教308）
2009-12-23 报告人：张闵敏 点评人：刘壮虎老师 题目：复合谓词逻辑系统 附件：
2009-12-09 报告人：李熙 点评人：叶峰老师 题目：从AIT看不完全 附件：
2009-12-02 报告人：许春梅 点评人：刘壮虎老师 题目：Analysis of stalnaker’s and lewis’ counterfactual theory 附件：
2009-11-25 报告人：马丽 点评人：周北海老师 题目：An Overview of model checking 附件：
2009-11-18 报告人：杨睿之 点评人：刘壮虎老师 题目：An Introduction to Forcing 附件：
2009-11-11 报告人：罗朝晖教授 题目：Type-Theoretical Semantics with Coercive Subtyping 附件：
2009-10-21 报告人：陈波老师 题目：“先验偶然”与“后验必然”
2009-10-14 报告人：Prof. Rohit Parikh 题目：Belief Revision, Language Splitting and Information 附件：
2009-09-30 报告人：蔡海涛 点评人：周北海老师 题目：反事实条件句语义中的因果依赖性 附件：
2009-09-23 报告人：崔晓红 点评人：陈波老师 题目：社会两难中基于知识的合作逻辑
