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 |
First-order Logic |
Chapter 2 (Huth and Ryan) |
|
Slides; Proof Template |
09/14 |
Modal Logic I |
Chapter 5.1-5.4 (Huth and Ryan) |
HW1 due |
Slides; Notes |
09/18 |
Modal Logic II |
|
HW2 out |
Slides |
09/21 |
Temporal Logic I |
Chapter 3.1-3.3 (Huth and Ryan) |
|
Goranko's LTL slides; Allen Temporal Relations; Vardi 1996 |
09/28 |
Computation Tree Logic (CTL) |
Chapter 3.4-3.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 |
|
|
|