清华大学刘奋荣老师开的两门课，有兴趣的同学不妨去听~



a)模态逻辑
时间：周四上午 9：50 -- 12：15
地点：6教6B401
教材：van Benthem最新的教材 modal logic for open minds。

b) 人工智能中的逻辑
时间：周四晚上7：20 -- 9：45
地点：6教6B111

主要包括以下一些专题，届时会有材料发给选修者：

situation theory （seligman会讲授，参见此处附件）
channel theory （seligman会讲授）
temporal logic （van Benthem）
spacial logic（van Benthem）
intuitionistic logic （de Jongh）
provability logic （de Jongh）
multi-agent system（fenrong liu）
preference logic（fenrong liu）