Class Notes
- Propositional Logic Slides (9/2/08)
- Natural Deduction Slides (9/2/08)
- Natural Deduction Tips (9/2/08)
- Propositional Logic Equivalences (9/5/08)
- First Order Logic Lecture Notes, Day 1 (9/9/08)
- First Order Logic Lecture Notes, Day 2 (9/12/08)
- Semantics of First Order Logic Notes (9/19/08)
- Model Checking with Trees (10/3/08)
- Tense and Aspect Slides (10/17/08)
- Linear Temporal Logic (10/17/08)
- Computational Tree Logic (10/24/08)
- The Gamut of Dynamic Logics (12/4/08)
- Propositional Dynamic Logic (12/4/08)