Syllabus

Date	Topic	Readings	Assignments	Links
09/01	Introduction to Course and Propositional Logic	Huth and Ryan – Chapter 1	Review Syntax and Semantics of PL	Slides
09/05	Propositional Logic	Chapter 1 (Huth and Ryan)	HW1 out	Slides; QED; Tips for Natural Deduction
09/08	First-order Logic	Chapter 2 (Huth and Ryan)		Slides; Proof Template
09/12	Modal Logic Axioms
09/15	Holiday
09/19	Modal Logic I	Chapter 5.1-5.4 (Huth and Ryan)	HW1 due	Slides; Notes
09/22	Modal Logic II		HW2 out	Slides
09/26	Brandeis Monday
09/29	Temporal Logic I	Chapter 3.1-3.3 (Huth and Ryan)		Goranko’s LTL slides; Allen Temporal Relations; Vardi 1996
10/03	Computation Tree Logic (CTL)	Chapter 3.4-3.7 (Huth and Ryan)	HW2 due; HW3 out	LTL and CTL Slides; CTL Slides
10/06	Temporal Logic II			Slides; Tense Aspect and Event Structure
10/10	Bisimulation Theory and Hybrid Logic I			Bisimulation Slides; Hybrid Slides
10/13	Counterfactual Logic I	Readings	HW3 due; HW4 out	Notes
10/17	Counterfactual Logic II	Readings		Notes
10/20	Hybrid Logic II			Blackburn Slides; Areces Slides
10/24	Quiz		HW4 due
10/27	Spatial Logic I	Point set topology		Slides; Galton Slides
10/31	Spatial Logic II	Region Connection Calculus/Intersection Calculus	HW5 out	QSR; Spatial Calculus Slides
11/03	Spatial Logic III	A New Modal Logic for Space/Modal Logic of Space
11/07	Dynamic Logic I
11/10	Dynamic Logic II	Propositional Dynamic Logic	HW5 due	Slides
11/14	Dynamic Logic III		HW6 out
11/17	Epistemic Logic I	Chapter 5.5 (Huth and Ryan)		Decidability Slides; Epistemic Slides
11/21	Holiday
11/24	Epistemic Logic II			Pacuit Slides; Plaza Slides
11/28	Deontic Logic I		HW6 due
12/01	Deontic Logic II		HW7 out
12/05	Simulation Semantics I
12/08	Simulation Semantics II			Motion Strategy Lab; Controlling wild bodies using LTL
?	Review		HW7 due
?	quiz