| Week | Date | Day | Topic | Readings |
|---|---|---|---|---|
| 1 | 24 Aug | M | Propositional Logic | Bell: Ch. 1 |
| 26 Aug | W | |||
| 28 Aug | F | |||
| 2 | 31 Aug | M | ||
| 2 Sep | W | |||
| 4 Sep | F | |||
| 3 | 7 Sep | M | Labor Day: No classes | |
| 9 Sep | W | Predicate Logic | Bell: Ch. 2 | |
| 11 Sep | F | |||
| 4 | 14 Sep | M | ||
| 16 Sep | W | |||
| 18 Sep | F | |||
| 5 | 21 Sep | M | ||
| 23 Sep | W | Exam 1 | ||
| 25 Sep | F | Logic Programming | Logic Programming Book: ch. 1, 2 | |
| 6 | 28 Sep | M | ||
| 30 Sept | W | |||
| 2 Oct | F | Resolution | Logic Programming Book: ch. 3 | |
| 7 | 5 Oct | M | ||
| 7 Oct | W | |||
| 9 Oct | F | Undecidability | Handout | |
| 8 | 12 Oct | M | 14 Oct | W |
| 16 Oct | F | Fall Break Day | ||
| 9 | 19 Oct | M | Using and Extending Predicate Logic | Bell: Ch. 3 |
| 21 Oct | W | |||
| 23 Oct | F | |||
| 10 | 26 Oct | M | Exam 2 | |
| 28 Oct | W | Generalized Quantifiers | Handouts | |
| 30 Oct | F | |||
| 11 | 2 Nov | M | ||
| 4 Nov | W | Introducing Contextual Operators: Modal Logics | Bell: Ch. 4 | |
| 6 Nov | F | |||
| 12 | 9 Nov | M | ||
| 11 Nov | W | Epistemic Logic | Handout | |
| 13 Nov | F | |||
| 13 | 16 Nov | M | 18 Nov | W | Propositional Modal Logic | Goldblatt: ch. 1-5 |
| 20 Nov | F | |||
| 14 | 23 Nov | M | ||
| 25 Nov | W | Thanksgiving Break | ||
| 27 Nov | F | |||
| 15 | 30 Nov | M | Propositional Dynamic Logic | Goldblatt: 10 |
| 2 Dec | W | |||
| 4 Dec | F |
