Topics in Modal Logic: Contents of classes
Contents of future classes:
- Nov 30: (material: section A.4, 5.3, 5.4 of the lecture notes)
- properties of set functors
- basic properties of nabla
- coalgebraic modal distributive laws
Contents of past classes:
- Nov 25: guest lecture by Tobias Kappé
(material:
Tobias' notes;
as background material: J. Rot, M. Bonsangue and J. Rutten,
Coalgebraic Bisimulation-Up-To, LNCS
7741, 2013.)
- bisimulation up-to equivalence
- Nov 23: (material: section 1.5, 5.1, 5.2 of the lecture notes)
- abstract coalgebraic logic
- cover modality
- Moss' coalgebraic modality
- Nov 18: (material: section 3.3, chapter 4 of the lecture notes)
- behavioural equivalence and bisimilarity
- quotients, subcoalgebras and sums; covarieties
- Nov 16: (material: section A.3, 3.1, 3.2 of the lecture notes)
- limits and colimits in Set
- behavioural equivalence and bisimilarity
- Nov 11 (material: section 2.5, 2.6 of the lecture notes)
- Nov 09 (material: section 2.1, 2.3, 2.3 of the lecture notes)
- Nov 04 (material: section 1.3, 1.4, 1.5, A.2 of the lecture notes)
- set functors
- introduction to coalgebra and modal logic (continued)
- Nov 02 (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