Topics in Modal Logic: Contents of classes
Contents of future classes:
- Oct 28 (material: section 1.1, 1.2, A.1 of the lecture notes)
- introduction to coalgebra and modal logic
- categories and functors
- 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:
Contents of past classes:
Back to main page