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.

Logic and intelligent interaction: charting the technical contours

There is a fast-growing interest in logics that deal with intelligent interaction in communities of agents. There is also a fast-growing jungle of formal systems. The workshop is dedicated to promising recent convergences, trying to foster a common sense of what is going on. Sessions address five core themes in rational agency: 1 dynamic and temporal logics of rational agency: Connections between temporal frameworks (interpreted systems, epistemic temporal logic) and dynamic epistemic logics. 2 merging belief revision and information update: Connections between AGM-style belief revision theory, dynamic logics of information, and learning theory. 3 dynamic logics of preference change and aggregation: Connections between preference logic, dynamic deontic logic, and multi-agent preference merge. 4 logics of games and strategies: onnections between modal approaches to games and strategies, and proof/category- theoretic approaches. 5 logics of collective attitudes and social action: Connections between dynamic logics, judgment aggregation, and social choice, around themes such as collective agency and deliberation.