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.