Here are the lecture notes from HT20.
Week 1. Classical propositional logic, variations, and deviations
LfP 2.1-2.4 (2.5 non-examinable), 3.1-3.4 (3.5 non-examinable)
Review of syntax and classical semantics for PL; three-valued semantics; supervaluationism
Lecture notes week 1 [.pdf, new tab]
Additional lecture A (first of two additional lectures for non-EDL students)
Week 2. Modal propositional logic: semantics
LfP 6.1-6.3, 7.1-7.3 (7.4 non-examinable)
Syntax of MPL; Kripke semantics for K, D, T, B, S4 and S5. Deontic, epistemic and tense logic.
Lecture notes week 2
Additional lecture B (second of two additional lectures for non-EDL students)
Week 3. Modal propositional logic: proof theory
LfP 2.6, 2.8, 6.4
Axiomatic proofs for PL. Axiomatic proofs for K, D, T, B, S4 and S5.
Lecture notes week 3
Week 4. Modal propositional logic: metatheory
LfP 2.7, 6.5 (Proofs in 2.9, 6.6 non-examinable)
Soundness and Completeness for MPL. (Proof of completeness is non-examinable).
Lecture notes week 4
Week 5. Classical predicate logic, extensions, and deviations.
LfP 4, 5
Review of the syntax and classical semantics of PC. Extensions of PC.
Lecture notes week 5
Week 6. Quantified modal logic: constant domains
LfP 9.1-9.5, 9.7
Semantics and proof theory for SQML.
Lecture notes week 6
Week 7. Quantified modal logic: variable domains, 2D semantics
LfP 9.6, 10
Kripke semantics for variable domain K, D, T, B, S4, and S5. Two-dimensional semantics for @, X and F.
Lecture notes week 7
Week 8. Counterfactuals.
Stalnaker’s and Lewis’s semantics for counterfactuals.
Lecture notes week 8