Abbreviations

For more information about the lecture halls and seminar rooms, see our lecture room page. The names listed under "Technical Assistance" are student volunteers who will act as a contact person for technical questions of the lecturers and workshop speakers during the course or workshop.

Modal logics for games and multi-agent systems

Because agents in multi-agent systems (MAS) are often assumed to act rationally based on self interest, it seems appropriate to study such systems from an economic perspective. In particular, agents' strategies (and their outcomes) must be taken into account. On one hand, these issues have been studied extensively in game theory. On the other hand, formal logic is widely regarded as a foundation for specification, verification and reasoning about MAS. In this course, we study logical formalisations of games and agents in game-like scenarios. The course consists of two main parts. The first is focused on Alternating-time Temporal Logic (ATL), one of the most prominent logics of cooperation and strategic ability. We introduce ATL, show its relationship to extensive games of perfect information, and discuss some important extensions of the logic, e.g. with motivational attitudes of agents and/or rationality assumptions. In particular, we focus on imperfect information and the integration of strategic and epistemic modalities. The second part of the course regards logical characterisations of game theoretic solution concepts, using different modal logics.