The reader has six major sections. The chronology of the course will
basically follow the order of the reader.
Slides Day 1: Introduction to modal
logic
Slides Day 2: What agents can do: Coalition
Logic
Slides Day 3: What agents do, can do, and know they can do: STIT and epistemic STIT
Slides Day 4: What agents want: Cohen and Levesque's Logic of Intention
Slides Day 5: What agents plan, can plan, and know they can plan: ATL, strategic STIT, and epistemic strategic STIT