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:

• to be supplied