Syllabus

Date Topic Readings Assignments Links
08/31 Introduction to Course and Propositional Logic Slides
09/04 Propositional Logic Chapter 1 (Huth and Ryan) HW1 out Slides; QED; Tips for Natural Deduction
09/07 First-order Logic Chapter 2 (Huth and Ryan) Slides; Proof Template
09/14 Modal Logic I Chapter 5.1-5.4 (Huth and Ryan) HW1 due SlidesNotes
09/18 Modal Logic II HW2 out Slides
09/21 Temporal Logic I Chapter 3.1-3.3 (Huth and Ryan)   Goranko's LTL slidesAllen Temporal Relations; Vardi 1996
09/28 Computation Tree Logic (CTL) Chapter 3.4-3.7 (Huth and Ryan) HW2 due; HW3 out LTL and CTL Slides; CTL Slides
10/02 Temporal Logic II SlidesTense Aspect and Event Structure
10/05 Bisimulation Theory and Hybrid Logic I Bisimulation Slides; Hybrid Slides
10/09 Counterfactual Logic I Readings HW3 due; HW4 out Notes
10/12 Counterfactual Logic II Readings Notes
10/16 Hybrid Logic II Blackburn Slides; Areces Slides
10/19 Quiz HW4 due
10/23 Spatial Logic I Point set topology Slides; Galton Slides
10/26 Spatial Logic II Region Connection Calculus/Intersection Calculus HW5 out QSRSpatial Calculus Slides
10/30 Spatial Logic III A New Modal Logic for Space/Modal Logic of Space
11/02 Dynamic Logic I
11/06 Dynamic Logic II Propositional Dynamic Logic HW5 due Slides
11/09 Dynamic Logic III HW6 out
11/13 Epistemic Logic I Chapter 5.5 (Huth and Ryan) Decidability Slides; Epistemic Slides
11/16 Epistemic Logic II Pacuit Slides; Plaza Slides
11/20 Perception Logic I HW6 due
11/27 Perception Logic II HW7 out
11/30 Simulation Semantics I
12/04 Simulation Semantics II Motion Strategy LabControlling wild bodies using LTL
12/07 Review HW7 due
12/11 Quiz