模态逻辑
Modal Logic
课程介绍

Syllabus: Please read the Syllabus.pdf

Time: Friday 9:50-12:15

Location: 三教 3302

教学初步计划(Schedule)

Week 1, 2: Thanks to Xinwen LIU who helped teaching when I was not available.

Week 3 (14 March): Modal language and Kripke Semantics. Models and Frames. Relational structures.

Week 4 (21 March): Evaluation games for modal formulas. Normal modal system K, and its well-known extensions T, S4, S5, Triv, Verum. Inference in the logic system.

Week 5 (28 March): Three ways of constructing new models from old ones that do not affect modal satisfaction: disjoint union, generated submodels and bounded morphism. Bisimulation is introduced as a generalization of the above model constructions. Show some modality is not definable in basic modal language.

Week 6 (4 April): Canceled. Holiday.

Week 7 (11 April): Homework. Bisimulation games.

Week 8 (18 April): Finite Model Property. Two ways of getting finite models: selection and filtration.

Week 9 (25 April): Translation. Modal language and first order language.

Week 10 (4 May): Frame definability and second-order logic

Week 11 (7 May): Frame constructions. Finite frames

(9 May): Canonical models. Completeness.

Week 12 (14 May): More completeness.

(16 May): A brief introduction to a few other logics: dynamic logic, temporal logic, epistemic logic, deontic logic.

Week 13: Move to 9 May

Week 14: Move to 16 May

Week 15 (6 June): Reviews.

Week 16 (13 June): Exam.

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