4 Sep 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Introduction to modal logic, syntax and semantics of basic modal logic, bisimulations, bisimilarity, bisimulation invariance theorem,
(Sections 1.11.3, 2.2)

6 Sep 2018 Thursday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10 
 The first tutorial sheet Tutorial 1

11 Sep 2018 Tuesday 
Hoorcollege 1113 SP 904 G2.10 
 HennessyMilner theorem, disjoint unions, generated submodels and bounded morphisms (Sections 2.12.2), validity and frame definability (Sections 1.33.1)

13 Sep 2018 Thursday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10. 1719 Group C: SP 904 G3.10

 The second tutorial sheet Tutorial 2

18 Sep 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Finite models via filtrations, Filtration Theorem, smallest and largest filtrations, transitive filtrations. (Sections 2.3)

20 Sep 2018 Thursday  Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10. 1719 Group C: SP 904 G3.10

 The third tutorial sheet Tutorial 3

25 Sep 2018 Tuesday 
Hoorcollege 1113 SP 904 G2.10 
 The standard translation, van Benthem's Characterization Theorem without proof (Sections 2.4 and 2.6).
Rooted models, tree unravellings and tree model property (Proposition 2.15).

27 Sep 2018 Thursday  Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10. 1719 Group C: SP 904 G3.10

 The fourth tutorial sheet Tutorial 4

2 Oct 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Frame definability (Secs 3.13.2 until 3.10, Prop 3.12, Thm 3.19 the GoldblattThomason Theorem without proof). Automatic firstorder correspondence (Sec 3.5 until uniform formulas). Sahlqvist formulas.

4 Oct 2018 Thursday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10. 1719 Group C: SP 904 G3.10

 The fifth tutorial sheet Tutorial 5

9 Oct 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Sahlqvist correspondence. The notes on Sahlqvist algorithm (Section 3.6 in the book). 
11 Oct 2018 Thursday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 G3.10. 1719 Group C: SP 904 G3.10

 The sixth tutorial sheet Tutorial 6

16 Oct 2018 Tuesday 
Hoorcollege 1113 SP 904 G2.10 
 Normal modal logics. Hilbert style derivation systems, soundness and completeness, consistent sets
(Sections 1.6 and 4.1 in the modal logic book, see also slides 130 in the Modal Logic Notes) 
18 Oct 2018 Thursday 
Werkcollege 1315 Goup A and B: SP 904 G5.29 1719 Group C: SP 904 G3.10

 The seventh tutorial sheet Tutorial 7

Midterm exam: 23 October 2018, 9:00  12:00 
30 Oct 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Completeness of the basic modal logic K via the canonical model construction (Section 4.2 in the modal logic book, slides 3749 in the
Modal Logic Notes)

1 Nov 2018 Thursday 
Wekcollege 1315 Goup A: SP 904 G0.18B, Group B: SP 904 G2.02 
 The eighth tutorial sheet Tutorial 8

6 Nov 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Completeness of normal modal logics via the canonical model construction, canonical logics, Sahlqvist theorem without proof,
the finite model property (Sections 4.24.3 in the modal logic book, slides 4877 in the Modal Logic Notes), Decidability
(Theorems 6.7, 6.13 and 6.15 in Section 6.2).

8 Nov 2018 Thursday 
Wekcollege 1315 Goup A: SP 904 G0.18B, Group B: SP 904 G2.02 
 The ninth tutorial sheet Tutorial 9

13 Nov 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 General frames (Sec 1.4), incomplete modal logics (Sec 4.4), completeness of normal modal logics with respect to general frames (Sec 5.5 until 5.65).

15 Nov 2015 Thursday 
Wekcollege 1315 Goup A: SP 904 G0.18B, Group B: SP 904 G2.02 
 The tenth tutorial sheet Tutorial 10

20 Nov 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Propositional Dynamic Logic, PDL. Regular frames, soundness of PDL, FischerLadner closure, atoms.
(Section 4.8 until 4.81). 
22 Nov 2018 Thursday 
Wekcollege 1315 Goups A, B and C: SP 904 G0.18B 
 The eleventh tutorial sheet Tutorial 11

27 Nov 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Completeness of PDL with respect to regular frames (4.814.91).

29 Nov 2018 Thursday 
Wekcollege 1315 Goups A, B and C: SP 904 G0.18B 
 The twelfth tutorial sheet Tutorial 12

4 Dec 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 Motivation for nonnormal logics, neighbourhood frames and models, neighbourhood semantics,
two semantics of modal logic on monotone models, monotone bisimulations (Sections 1.3, 1.2.1 and 2.1 until Def 2.9 and without Def 2.5 and Thm 2.6 in Neighborhood Semantics for Modal Logic.)

6 Dec 2018 Thursday 
Wekcollege 1315 Goups A, B and C: SP 904 G0.18B 
 The thirteenth tutorial sheet Tutorial 13

11 Dec 2018 Tuesday 
Hoorcollege 1113 SP 904 C1.112 
 The landscape of nonnormal modal logics, completeness and canonical models (Sections 2.3 and 2.3.1).

13 Dec 2018 Thursday 
Wekcollege 1315 Goups A, B and C: SP 904 G0.18B 
 The fourteenth tutorial sheet Tutorial 14
