| Date | Topic | Additional Material |
|---|---|---|
| 10/20 | 2: Basic language and semantics |
model_check.ml possible worlds modal realism tla+ |
| 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 |