Material on the ESSLLI-07 course

"Logics of Agency and Multi-Agent systems"

Jan Broersen
Andreas Herzig
Nicolas Troquard

Course reader (in pdf)

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