Topics in Modal Logic: Contents of classes

Contents of future classes:

• Nov 06 (material: section 2.5, 2.6 of the lecture notes)
  • coinduction
• Nov 04 (material: section 2.1, 2.3, 2.3 of the lecture notes)
  • final coalgebras

Contents of past classes:

• 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