| 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 |
coalgebraic modal logic "homework" |
| 11/03 | 4: Validity and Decidability | sem_tab.ml |
| 11/10 | 5: Axioms, proofs, and completeness |
cartoon guide to Löb's theorem (thanks to Uğur for pointing this out) sequent calculi for modal logics (note: I have not read this but it looks interesting) |
| 11/17 | Canceled due to NEPLS | NEPLS |
| 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 |