Topics in Modal Logic: Contents of classes
Contents of future classes:
Contents of past classes:
- Dec 14: automata, decidability and derivation systems;
course wrap-up.
Material: to be supplied.
- Dec 13: tableau games: determinacy, adequacy
Material: section 7.2.
- Dec 07: tableau games
Material: section 7.1.
- Dec 06: model theory: finite model property, uniform
interpolation
Material: no material.
- Nov 30: parity formulas
Material: section 6.1, 6.2, 6.3, 6.4 (without proofs).
- Nov 29: parity games; positional determinacy, complexity
Material: chapter 5.
- Nov 23: nondeterministic stream automata, determinization.
Material: section 4.3.
- Nov 22: deterministic stream automata.
Material: section 4.1, 4.2.
- Nov 16: cover modality; model theory
Material: section 2.4, 2.8.
- Nov 15: adequacy; bisimulation invariance; definability of negation
Material: section 2.4, 3.4, 3.5.
- Nov 09: fixpoint theory; algebraic semanticds of muML.
Material: section 3.1, 3.2, 3.4.
- Nov 08: traces, the closure map and the closure game
Material: section 2.5.
- Nov 02: syntax and game semantics of muML
Material: section 2.2, 2.3.
- Nov 01: introduction; syntax and game semantics of ML and muML.
Material: section 1.1, 1.2, 2.1, 2.2.
Back to main page