Syllabus

Date Topic Readings Assignments Links
08/26 Introduction to Course and Propositional Logic
08/29 Propositional Logic Chapter 1 (Huth and Ryan) Problem Set #1 assigned Slides
09/02 First-order Logic Chapter 2 (Huth and Ryan) Slides
09/06 Modal Logic 1 Problem Set #1 due Slides
09/09 Modal Logic 2 Chapter 2 (Huth and Ryan) Slides Problem Set #2 assigned
09/13 Temporal Logic I Chapter 3 (Huth and Ryan)  
09/16 Temporal Logic II  Chapter 5 (Huth and Ryan) Problem Set #3 assigned Extra
09/20 Temporal Logic III Chapter 5 (Huth and Ryan) Goranko's LTL slides
09/23 Computational Tree Logic (CTL) Chapter 6 (Huth and Ryan) Allen Temporal Relations
09/27 CTL
09/30 Intro to Spatial Logic  
10/04 Rosh Hashanah – no class
10/07 Quiz
10/11 Spatial Logic II
10/14 Spatial Logic III
10/18 Region Connection Calculus/Intersection Calculus
10/21 Public Announcement Logic I
10/25 Brandeis Monday – no class
10/28 Public Announcement Logic II
11/01 Epistemic Logic I
11/04 Epistemic Logic II
11/08 Perception Logic I
11/11 Perception Logic II
11/15
11/18
11/22 Bisimulation Theory
11/25 No Class–Thanksgiving Holiday
12/02 Simulation Semantics
12/06 Review