Topics in Modal Logic: Contents of classes

Contents of future classes:

• Nov 12 Exercises: Exercise sheet 3
• Nov 17: (material: chapter 4, sections 5.1, 5.2 of the lecture notes)
  • quotients, subcoalgebras and sums; covarieties
  • cover modality
  • Moss' coalgebraic modality
• Nov 18: (material: section B.5, 5.3, 5.5 of the lecture notes)
  • properties of relation lifting
  • basic properties of nabla
• Nov 19 Exercises: Exercise sheet 4 (to be supplied)

Contents of past classes:

• Nov 12 Exercises: Exercise sheet 3
• Nov 11: (material: section B.3, 3.3)
  • limits and colimits in Set
  • behavioural equivalence and bisimilarity
• Nov 10: (material: section B.3, 3.1, 3.2 of the lecture notes)
  • behavioural equivalence and bisimilarity
  • bisimilarity via relation lifting
• Nov 05 Exercises: Exercise sheet 2
• Nov 04 (material: section 2.5, 2.6 of the lecture notes)
  • coinduction
• Nov 03 (material: section 2.1, 2.3, 2.3 of the lecture notes)
  • final coalgebras
• Oct 29 Exercises: Exercise sheet 1
• Oct 28 (material: section 1.3, 1.4, 1.5, B.2 of the lecture notes)
  • set functors
  • final coalgebras, behavioural equivalence and bisimulations
• Oct 27 (material: section 1.1, 1.2, B.1 of the lecture notes)
  • introduction to coalgebra and modal logic
  • categories and functors