Topics in Modal Logic: Contents of classes

Contents of future classes:

• Nov 14: stream automata.
  Material: section 4.1, 4.2, 4.3.
• Nov 14 (tutorial):
  Exercise 4.4, 4.8; prove Theorem 3.32.
• Nov 20: determinization, .
  Material: section 4.3, 4.4.

Contents of past lectures:

• Nov 13: adequacy; bisimulation invariance; definability of negation
  Material: section 2.4, 3.4, 3.5.
• Nov 07 (tutorial):
  Exercises: 3.2, 3.3 and 2.9.
• Nov 07: traces, the closure map and the closure game
  Material: section 2.5.
• Nov 06: fixpoint theory; algebraic semantics of muML.
  Material: section 3.1, 3.2, 3.4.
• Oct 31 (tutorial):
  Exercises 2.6(c) and 2.7; prove Theorem 1.27.
• Oct 31: syntax and game semantics of muML
  Material: section 2.2, 2.3.
• Oct 30: introduction; syntax and game semantics of ML and muML.
  Material: section 1.1, 1.2, 2.1, 2.2.