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

教材：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