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

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

教材:Johan van Benthem,Modal Logic for Open Minds,to appear soon.

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

时间地点:星期四 9:50-12:15; 六教6B401

另外,若大家在阅读英文教材的过程中,发现印刷错误,或对教材中的内容有什么建议和意见, 请使用以下网址的“读者反馈”
http://www.illc.uva.nl/lgc/MLoM/

通告:第8周和第10周的课,我们请到了van Benthem教授来讲授!

初步计划

第1周. 3月4日:Introduction+ Basic Language and Semantics

Here is the paper I mentioned in class today, which showed that modal langauge is a fragment of predicate logic, you can take a look at it.

Andreka, H., van Benthem, J., and Nemeti, I., 1998, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic 27, 217–274.

第2周. 3月11日:Expressive power and Invariance

第3周. 3月18日:Validity

第4周. 3月25日:Decidability

第5周. 4月1日:Canceled!

第6周. 4月8日:F.M.P(Selection)

第7周. 4月15日:F.M.P(Filtration)+completeness

第8周. 4月22日:Bisimulation games, decidability

第9周. 4月29日:Holiday

第10周. 5月6日:Computation and complexity

第11周. 5月13日:Translation and varieties of expressive power

第12周. 5月20日:Frame correspondence, Landscape of modal logics

第13周. 5月27日:modal predicate logic, epistemic logic

第14周. 6月3日:Doxastic logic, conditional logic

第15周. 6月10日:Information dynamics

第16周. 6月17日:Preference and deontic logic

第17周. 6月24日:Final exam

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