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

教材：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； 三教3310

ANNOUNCEMENT: Dr. Alessandra Palmigiano will speak on the 19th of March, check more information at the website.

第1周. 2月20日：Introduction+ Basic Language

第2周. Semantics, validity

第3周. Normal modal logics

第4周. Invariance

第5周. Bisimulation

第6周. F.M.P(I)

第7周. F.M.P(II)

第8周. F.M.P(III)

第9周. Translation

第10周. Definability

第11周. Definable and undefinable properties

第12周. Completeness

第13周. Epistemic logic

第14周. Temporal logic

第15周. Deontic logic

第16周. Final exam