Topics in Modal Logic: Contents of classes

Contents of past classes:

• Dec 11: (material: section 8.2)
  • completeness (ct'd)
  • course wrap-up
  • Exercises: marked in the lecture notes Ch 8
• Dec 9: (material: chapter 8)
  • soundness and completeness
  • derivability game
• Dec 4: (material: section 7.1, 7.3 of the lecture notes)
  • one-step logic
  • one-step derivation systems
  • Exercises: Exercise sheet 6
• Dec 2: (material: section 6.3, 6.4, 6.6 of the lecture notes)
  • expressiveness and the small model property
  • predicate liftings and the Yoneda lemma
• Nov 27: (material: section 6.3, 6.4 of the lecture notes)
  • examples of predicate liftings
  • basic properties of coalgebraic modal logic
  • finite model property
  • Exercises: Exercise sheet 5
• Nov 25: (material: section 5.4, 5.5, 6.1, 6.2, 6.3 of the lecture notes)
  • coalgebraic modal distributive laws
  • disjunctive coalgebraic modal logic
  • coalgebraic modalities via predicate liftings
• Nov 20: (material: section B.5, 5.3, 5.5 of the lecture notes)
  • properties of relation lifting
  • basic properties of nabla
  • Exercises: Exercise sheet 4 (corrected)
• Nov 18: (material: section 1.5, 5.1, 5.2, 5.3 of the lecture notes)
  • abstract coalgebraic logic
  • cover modality
  • Moss' coalgebraic modality
• Nov 13: (material: section 3.3, chapter 4 of the lecture notes)
  • behavioural equivalence and bisimilarity
  • quotients, subcoalgebras and sums; covarieties
  • Exercises: Exercise sheet 3
• Nov 11: (material: section B.3, 3.1, 3.2 of the lecture notes)
  • limits and colimits in Set
  • behavioural equivalence and bisimilarity
• Nov 06 (material: section 2.5, 2.6 of the lecture notes)
  • coinduction
  • Exercises: Exercise sheet 2
• Nov 04 (material: section 2.1, 2.3, 2.3 of the lecture notes)
  • final coalgebras
• 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