2012秋季报告 (当初上课时间:周二15:10-18:00 地点:三教206)
2012-12-25 报告人:Mamoru Kaneko 题目:Epistemic Logic and Inductive Game Theory 附件:

2012-12-18 报告人:张力 点评人:周北海老师,王彦晶老师 题目:Modal AGM model of preference changes 附件:

2012-12-11 报告人:刘美平 点评人:周北海老师,赵震、李熙 题目:概念结构 附件:

2012-12-04 报告人:Jeremy Seligman 题目:The epistemic logic of friendship 附件:

2012-11-27 报告人:王彦晶 题目:动态认知逻辑的公理化:老问题和新方向 附件:

2012-11-20 报告人:赵飞 题目:文献检索讲座
2012-11-13 报告人:李延军 点评人:周北海老师,范杰、李熙 题目:Introduction to PDL and some related work--EPDL 附件:

2012-11-06 报告人:李熙 点评人:刘壮虎老师,赵震、李延军 题目:A Non-Classical Syllogism with Self-control 附件:

2012-10-30 报告人:Sven Ove Hanssen 题目:Interdefinabilities in the logic of norms, values, and decisions
2012-10-23 报告人:范杰 点评人:周北海老师,李熙,李延军 题目:Knowing that,Knowing What and A Dynamic Epistemic Account of Frege Puzzle 附件:

2012-10-16 报告人:王彦晶 题目:LaTeX入门(请自带电脑)
2012-10-09 报告人:van Benthem 题目:interfacing Logic and Probabilistic Update
2012-10-02 报告人:十一假期 题目:
2012-09-25 报告人:刘靖贤 点评人:陈波老师,赵震、李熙 题目:Paraconsistent Frege 附件:

2012-09-18 报告人:T.W.C.Stoneham 题目:Modal Pluralism 附件:

2012-09-11 报告人:赵震 点评人:陈波老师,刘靖贤、王淑庆 题目:The outline of a new solution to the liar paradox 附件:
