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 
Firstorder Logic 
Chapter 2 (Huth and Ryan) 

Slides; Proof Template 
09/14 
Modal Logic I 
Chapter 5.15.4 (Huth and Ryan) 
HW1 due 
Slides; Notes 
09/18 
Modal Logic II 

HW2 out 
Slides 
09/21 
Temporal Logic I 
Chapter 3.13.3 (Huth and Ryan) 

Goranko's LTL slides; Allen Temporal Relations; Vardi 1996 
09/28 
Computation Tree Logic (CTL) 
Chapter 3.43.7 (Huth and Ryan) 
HW2 due; HW3 out 
LTL and CTL Slides; CTL Slides 
10/02 
Temporal Logic II 


Slides; Tense 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 
QSR; Spatial 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 Lab; Controlling wild bodies using LTL 
12/07 
Review 

HW7 due 

12/11 
Quiz 


