Slides of Valentin Goranko's tutorial "Logics for multi-agent systems"