授课教师：120309

总学时：34

课程教材：文学锋编著：《模态逻辑教程》，科学出版社，2021

先修课程：数理逻辑导论，哲学逻辑

主要参考书目：

1. 周北海：《模态逻辑导论》，北京大学出版社，1997.

[1]. 2. 周祯祥：《必然、蕴涵、世界与关系： 模态逻辑的历史和基本理论探究》，北京师范大学出版社，2017.

[2]. 3. ⻢库斯著, 康宏逵编译. 可能世界的逻辑. 上海译文出版社, 上海, 1993.

[3]. 4. (美) B.F. 切莱士著，郑文辉译：《模态逻辑导论》，1989.

课程内容简介（中文）：模态逻辑是关于“可能”和“必然”的逻辑。本课程是模态逻辑的进阶课程，以一阶逻辑和哲学逻辑为先导课程。本课程主要讨论以下问题：模态逻辑的关系语义、公理系统、框架对应、模态不变性理论、模态对应理论、可靠性与完全性。本课程主要关注技术方法和定理证明。

课程内容简介（英文）：