Topic
Readings
Assignments
F, Sep 1 Introduction to the Problem Introduction to PL
T, Sep 5 Propositional Logic Basics Class Slides PS1, Part 1
F, Sep 8 Propostional Logic Deduction
T, Sep 12 Sequent Calculus & First Order Logic Syntax Sequent Calculus Due: PS1, Part 1
F, Sep 15 First Order Logic Natural Deduction FOL ND1,FOL ND2 PS1, Part 2
T, Sep 19 First Order Logic Deduction
F, Sep 22 Modal Logic Modal Logic Due: PS1, Part 2
T, Sep 26 Modal Logic PS2, Part 1
F, Sep 29 Temporal Logic
T, Oct 3 No class - Brandeis Monday
F, Oct 6 Temporal Logic
T, Oct 10 Temporal Logic PS2, Part 2
F, Oct 13 Temporal Logic
T, Oct 17 Compositionality Due: PS2.2
F, Oct 20 Compositionality
T, Oct 24 Compositionality
F, Oct 27 Linear Logic, Day 1 Introduction to Linear Logic
T, Oct 31 Linear Logic, Day 2 PS3 (compositionality)
F, Nov 3 Markov Logic Networks Markov Logic Networks(sections 1-6,9)
T, Nov 7 Dynamic Propositional Logic DPL(Chapter 3)
F, Nov 10 Dynamic Logic PDL Class Notes
T, Nov 14 Non-Monotonic Logic Due: PS3
F, Nov 17 Non-Monotonic Logic PS4
T, Nov 21 Soundness and Completeness
F, Nov 24 No Class - Thanksgiving Break
T, Nov 28 Types in GL Due: PS4
F, Dec 1 Types in GL
T, Dec 5 QUIZ