模态逻辑
Modal Logic
课程一般信息

预备知识:了解命题逻辑的一般知识。

教材:Johan van Benthem, Modal Logic for Open Minds, CSLI Publications, 2010;
Blackburn, de Rijke, and Venema, Modal Logic, Cambridge University Press, 2001.

考核方式:作业(60%)+考试(40%)

时间地点:星期一 13:30-16:05; 三教3111

初步计划

第1周. 2月21日:Introduction+ Basic Language

第2周. 2月28日:Semantics, validity

第3周. 3月7日:Normal modal logics

第4周. 3月14日:Invariance

第5周. 3月21日: Bisimulation

第6周. 3月28日:F.M.P(Selection)

第7周. 4月4日: Holiday

第8周. 4月11日:F.M.P(Filtration)

第9周. 4月18日:The Standard Translation

第10周. 4月25日:Frame definability

第11周. 5月5日:Definable and undefinable properties

第12周. 5月9日:Completeness

第13周. 5月16日:Epistemic logic

第14周. 5月23日:Temporal logic

第15周. 5月30日:Deontic logic

第16周. 6月6日:Final exam

回到首页
Website Copyright 2011 刘奋荣 Fenrong Liu