[table width=”100%” colwidth=”10|20|20|30|20″ colalign=”left|left|left|left|left”]
Date,Topic,Readings,Assignments,Links
08/30,Introduction to Course and Propositional Logic,TBA,TBA,
09/03,Propositional Logic, Chapter 1 (Huth and Ryan), Problem Set #1 assigned, Slides
09/06,No Class–Rosh Hashanah, , ,
09/10,Proof Theory for Predicate Logic, , Problem Set #1 due, Slides
09/13,Model Theory for Predicate Logic, Chapter 2 (Huth and Ryan), , Notes
09/17,No Class–Thursday schedule, ,Problem Set #2 assigned ,
09/20,Modal Logic, Chapter 5 (Huth and Ryan) , , Extra
09/24,Modal Logic,Chapter 5 (Huth and Ryan) , , Dimitri Hendriks’ Slides
09/27,Modal Logic, Chapter 5 (Huth and Ryan) , Different Modal Systems, Slides
10/01,Quantified Modal Logic, ,Problem Set #3 assigned ,
10/04,Quantified Modal Logic, , ,
10/08,Temporal Logic: Linear Temporal Logic (LTL), Chapter 3 (Huth and Ryan), , Goranko’s LTL slides
10/11,Temporal Logic: Computational Tree Logic (CTL), Chapter 3 (Huth and Ryan), Problem Set #4 assigned, Gebler CTL slides
10/15,Temporal Semantics,Reading, ,
10/18,Interval Temporal Logic and Event Types, , ,
10/22,Events and Interval Algebra , , ,Galton (Time)
10/25,Spatial Logic,Region Connection Calculus , ,
10/29,Spatial Relation Calculi, Egenhofer’s Intersection Calculus,,Galton (Space)
11/01,Temporal Reasoning: TimeML and Tarsqi Toolkit, ,Problem Set #5 ,
11/05,Orientation Calculus,Intersection Calculus (9IC) , ,
11/08,Epistemic Logic, , ,
11/12,Dynamic Epistemic Logic 1/2, , ,
11/15,Dynamic Epistemic Logic 2/2 , ,
11/19,Bisimulation Theory: Propositional Dynamic Logic 1, Slides,Blackburn Paper ,
11/22,Propositional Dynamic Logic 2,Slides , ,
11/26,Perception Logic II, , ,
11/29,No Class–Thanksgiving Holiday, , ,
12/03,Simulation Semantics, , ,
12/06,Review, , ,
[/table]