2006春季报告 （当初上课时间：周二下午12:40 地点：三教306）
2006-05-30 报告人：刘壮虎 题目：推理+修改的形式化 附件：
2006-05-23 报告人：高思存 题目：线性逻辑的一些问题
2006-05-16 报告人：周北海 题目：涵义语义与词项逻辑
2006-05-09 报告人：周北海 题目：涵义语义与词项逻辑 附件：
2006-04-25 报告人：陈波 题目：弗雷格的反心理主义及其困境 附件：
2006-03-28 报告人：叶峰 题目：当前表征内容理论的难点与一个解决方案 附件：
2006-03-21 报告人：郭美云 题目：一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统PAL(RC,D,E) 附件：
2006-03-14 报告人：冯艳 题目：自由模态慕状词理论
2006-03-07 报告人：郭美云 题目：一个带有相对化公共知识和群体隐含知识的静态认知逻辑系统 附件：
2006-02-28 报告人：裘江杰 题目：NEXTK中典范与不典范逻辑的数目 附件：
