08/26 
Introduction to Course and Propositional Logic 



08/29 
Propositional Logic 
Chapter 1 (Huth and Ryan) 
Problem Set #1 assigned 
Slides 
09/02 
Firstorder 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 


