2009春季报告 （当初上课时间：周二下午13:30-16:30 地点：三教508）
2009-04-21 报告人：徐召清 题目：多维模态逻辑的应用 附件：
2009-04-14 报告人：朱薇 题目：偏好：从关系到逻辑 附件：
2009-04-07 报告人：刘佳 题目：哥德尔本体论证明 附件：
2009-03-31 报告人：杨睿之 题目：分枝类型论与可构成集 附件：
2009-03-24 报告人：马丽 题目：逻辑系统表达能力比较 附件：
2009-02-24 报告人：张文彦 题目：逻辑与自然语言 附件：
