| Date | Topic |
|---|---|
| 10/20 | 2: Basic language and semantics |
| 10/27 | 3: Expressive power and invariance |
| 11/03 | 4: Validity and Decidability |
| 11/10 | 5: Axioms, proofs, and completeness |
| 11/17 | 6: Computation and complexity |
| 11/24 | 7: Translation and varieties of expressive power |
| 12/01 | 8: Increasing deductive power: the landscape of modal logics |
| 12/08 | 9: What axioms say: frame correspondence |