Topics in Modal Logic: Contents of classes
This is the contents of last year's classes.
Contents of past classes:
- Dec 11: (material: section 8.2)
- completeness (ct'd)
- course wrap-up
- Exercises: marked in the lecture notes Ch 8
- Dec 9: (material: chapter 8)
- soundness and completeness
- derivability game
- Dec 4: (material: section 7.1, 7.3 of the lecture notes)
- Dec 2: (material: section 6.3, 6.4, 6.6 of the lecture notes)
- expressiveness and the small model property
- predicate liftings and the Yoneda lemma
- Nov 27: (material: section 6.3, 6.4 of the lecture notes)
- examples of predicate liftings
- basic properties of coalgebraic modal logic
- finite model property
- Exercises: Exercise sheet 5
- Nov 25: (material: section 5.4, 5.5, 6.1, 6.2, 6.3 of the lecture notes)
- coalgebraic modal distributive laws
- disjunctive coalgebraic modal logic
- coalgebraic modalities via predicate liftings
- Nov 20: (material: section B.5, 5.3, 5.5 of the lecture notes)
- Nov 18: (material: section 1.5, 5.1, 5.2, 5.3 of the lecture notes)
- abstract coalgebraic logic
- cover modality
- Moss' coalgebraic modality
- Nov 13: (material: section 3.3, chapter 4 of the lecture notes)
- behavioural equivalence and bisimilarity
- quotients, subcoalgebras and sums; covarieties
- Exercises: Exercise sheet 3
- Nov 11: (material: section B.3, 3.1, 3.2 of the lecture notes)
- limits and colimits in Set
- behavioural equivalence and bisimilarity
- Nov 06 (material: section 2.5, 2.6 of the lecture notes)
- Nov 04 (material: section 2.1, 2.3, 2.3 of the lecture notes)
- Oct 30 (material: section 1.3, 1.4, 1.5, A.2 of the lecture notes)
- set functors
- introduction to coalgebra and modal logic (continued)
- Exercises: Exercise sheet 1
- Oct 28 (material: section 1.1, 1.2, A.1 of the lecture notes)
- introduction to coalgebra and modal logic
- categories and functors
Back to main page