4 Sep 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The first tutorial sheet Tutorial 1

7 Sep 2017 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Introduction to modal logic, syntax and semantics of basic modal logic, bisimulations, bisimilarity, bisimulation invariance theorem,
disjoint unions and bounded morphisms (Sections 1.11.3, 2.12.2)

11 Sep 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The second tutorial sheet Tutorial 2

14 Sep 2017 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Invariance results, HennessyMilner Theorem, Filtration Theorem (smallest filtration) (Sections 2.22.3)

18 Sep 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The third tutorial sheet Tutorial 3

21 Sep 2016 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Tree unravellings and tree model property, finite model property (via filtration and via selection), modal depth and $n$bisimilarity,
the standard translation, propositional dynamic logic (syntax and semantics) (Sections 2.32.4).

25 Sep 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The fourth tutorial sheet Tutorial 4

28 Sep 2017 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Characterization Theorem without proof, msaturation, filters and ultrafilters, ultrafilter extension (Sections 2.52.6)

2 Oct 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The fifth tutorial sheet Tutorial 5

5 Oct 2017 Thursday 
Hoorcollege 911 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).

9 Oct 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The sixth tutorial sheet Tutorial 6

12 Oct 2017 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Sahlqvist correspondence. The notes on Sahlqvist algorithm (Section 3.6 in the book). 
16 Oct 2017 Monday 
Werkcollege 1315 Goup A: SP 904 G5.29, Group B: SP 904 D1.116 
 The seventh tutorial sheet Tutorial 7

19 Oct 2017 Thursday 
Hoorcollege 911 SP 904 C1.112 
 Logics of classes of frames, 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)

Midterm exam: 24 October 2017, 9:00  12:00. Tentamenzaal USC Sporthal 1 SP. 
31 Oct 2017 Tuesday 
Hoorcollege 1315 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 2017 Wednesday 
Wekcollege 1113 Goup A: SP 904 D1.115, Group B: SP 904 G0.23G0.25 
 The eighth tutorial sheet Tutorial 8

7 Nov 2017 Tuesday 
Hoorcollege 1315 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)

8 Nov 2017 Wednesday 
Wekcollege 1113 Goup A: SP 904 D1.115, Group B: SP 904 G0.23G0.25 
 The ninth tutorial sheet Tutorial 9

14 Nov 2017 Tuesday 
Hoorcollege 1315 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 2017 Wednesday 
Wekcollege 1113 Goups A and B: SP 904 D1.115 
 The tenth tutorial sheet Tutorial 10

21 Nov 2017 Tuesday 
Hoorcollege 1315 SP 904 C1.112 
 Propositional Dynamic Logic, PDL. Regular frames, soundness of PDL, FischerLadner closure, atoms.
(Section 4.8 until 4.81). 
22 Nov 2017 Wednesday 
Wekcollege 1113 Goups A and B: SP 904 D1.115 
 The eleventh tutorial sheet Tutorial 11

28 Nov 2017 Tuesday 
Hoorcollege 1315 SP 904 C1.112 
 Completeness of PDL with respect to regular frames (4.814.91).

29 Nov 2017 Wednesday 
Wekcollege 1113 Goups A and B: SP 904 D1.115 
 The twelfth tutorial sheet Tutorial 12

5 Dec 2017 Tuesday 
Hoorcollege 1315 SP 904 C1.112 
 Motivation for nonnormal logics, the landscape of nonnormal modal logics, neighbourhood frames and models, neighbourhood semantics
(1.3, 2.3, 1.2.1 in Neighborhood Semantics for Modal Logic.)

6 Dec 2017 Wednesday 
Wekcollege 1113 Goups A and B: SP 904 D1.115 
 The thirteenth tutorial sheet Tutorial 13

12 Dec 2017 Tuesday 
Hoorcollege 1315 SP 904 C1.112 
 Two semantics of modal logic on monotone frames (page 40), expressive power and invariance (Section 2.1 until 2.9, we didn't prove Theorems 2.6 and 2.7), relational models (Section 2.2.1), completeness and canonical models (Sections 2.3.1).

15 Dec 2017 Friday 
Wekcollege 1517 Goups A and B: SP 904 G0.05 
 The fourteenth tutorial sheet Tutorial 14
