Topic |
Readings | Assignments | |
| F, Aug 29 | Introduction | ||
| T, Sep 2 | Propositional Logic Basics | Propositional Logic Basics | |
| F, Sep 5 | Propostional Logic Semantics | Problem Set #1 | |
| T, Sep 9 | Natural Deduction and FOL | First Order Logic Basics | |
| F, Sep 12 | FOL Semantics | ||
| T, Sep 16 | FOL Translations | ||
| F, Sep 19 | Reifying the Intangibles | ||
| T, Sep 23 | Review Day | DUE: Problem Set #1 | |
| F, Sep 26 | QUIZ #1 | ||
| M, Sep 29 | BRANDEIS TUESDAY! Introduction to Modal Logic | ||
| F, Oct 3 | Modal Logic Systems | ||
| T, Oct 7 | Temporal Logic | Problem Set #2 | |
| F, Oct 17 | Temporal Logic | ||
| F, Oct 24 | Temporal Logic | ||
| T, Oct 28 | Review | DUE: Problem Set #2 | |
| F, Oct 31 | QUIZ #2 | ||
| T, Nov 4 | Spatial Logic | ||
| F, Nov 7 | Spatial Logic | ||
| T, Nov 11 | Spatial Logic | ||
| F, Nov 14 | Spatial Logic | ||
| T, Nov 18 | Dynamic Logic | Spatial Reasoning with a Hole | Problem Set #3 |
| F, Nov 21 | Dynamic Logic and Motion | ||
| T, Nov 25 | Review | ||
| T, Dec 2 | Extra Topics | DUE: Problem Set #3 | |
| F, Dec 5 | Review | ||
| T, Dec 9 | QUIZ #3 |