ESSLLI 2010 Workshop

[Overview | Background | Schedule (Day 1, Day 2, Day 3, Day 4, Day 5) | Additional Information]

Organizers: Johan van Benthem ( website) & Eric Pacuit ( website)
Meeting Times: 14.00 - 15.30
Location: University of Copenhagen, Auditorium: 21.1.47



Overview

In recent years there has been a good deal of interest in developing two perspectives in tandem: logics that analyze agent interaction, and introducing interactive viewpoints into logic itself. While this has generated much new research, many broad questions remain.

This workshop will systematically cover a number of major issues that arise here, in the form of 5 meetings on different interfaces. The format for each will be the same:

  • relevant material will be posted beforehand on this website;
  • a short introduction to the theme by one of the organizers;
  • a brief issue-oriented invited lecture by a prominent colleague of the 'interface', either alone, or in pairs where suitable; and
  • discussion including the audience, geared toward clarification and identifying further research questions.

The Schedule at a Glance


Date Topic
Day 1
Interactive agency: the dynamic turn in logic
(details)

Day 2
Interactive agency: a view from philosophy
(details)

Day 3
Modeling agency: a view from computer science
(details)
Day 4
Strategic interaction: a view from game theory
(details)

Day 5
Further Themes in Interactive Agency
(details)



Monday, August 16: Interactive Agency, A View from Philosophy


Brief Summary: What does it mean for logic itself to take this new stance? Where do we stand today? Which paradigms are available, in addition to dynamic epistemic logic and its ilk?

Time Speaker
14.00 - 14.15
Introduction
Johan van Benthem Logical Dynamics of Information and Interaction (Chapter 1 of forthcoming book)
14.15 - 14.55
Tracking the Truth, Keep Changing Your Beliefs! Or, Dynamic Belief Revision as a Learning Method
Alexandru Baltag
14.55 - 15.00
Break
15.00 - 15.20
Moorean Phenomena in Epistemic Logic
Wes Holliday and Thomas Icard
Paper
15.20 - 15.30
Discussion


Tuesday, August 17: Interactive Agency, The Dynamic Turn in Logic


Brief Overview: An overview of recent developments in formal epistemology. What can logic contribute, and in doing so, can it regain some of its former importance in philosophy?

Time Speaker
14.00 - 14.15
Introduction
Johan van Benthem Logical Dynamics in Philosophy (Chapter 13 of forthcoming book)
14.15 - 14.55
Agency and Interaction in Formal Epistemology
Vincent Hendricks
Paper 1, Paper 2
14.55 - 15.00
Break
15.00 - 15.20
The Surprise Examination in Dynamic Epistemic Logic
Alexandru Marcoci
15.20 - 15.30
Discussion


Wednesday, August 18: Modeling Agency, A View from Computer Science


Brief Overview: A discussion of new contacts and new methods. For example, modeling fine-structure of agents via automata theory, and related computational and game techniques.

Time Speaker
14.00 - 14.20
Introduction
Eric Pacuit
14.20 - 15.00
From Lawvere to Brandenburger-Keisler
Samson Abramsky
Paper
15.00 - 15.05
Break
15.05 - 15.30
Discussion


Thursday, August 19: Strategic Interaction: A View from Game Theory



Brief Overview: Given some striking differences in perspective, what are the significant cooperations that can be expected between logic and game theory?

Time Speaker
14.00 - 14.15
Introduction
Eric Pacuit
14.15 - 15.55
Origins of Epistemic in Game Theory
Adam Brandenburger
Paper
14.55 - 15.00
Break
15.00 - 15.20
Dependence Games
Davide Grossi
15.20 - 15.30
Discussion


Friday, August 20: Further Themes in Interactive Agency



On this final day, we look at a sample of recent work along the lines of these weeks major themes. This day has more of a discussion-oriented working character. We may also organize a poster session if we get further proposals during the week.

Time Speaker
14.00 - 14.15
Dynamic Probabilistic Epistemic Logic
Irma Conrellise
14.15 - 14.30
DEMO, Dynamic Logic and Game Solutions
J. Cui
14.30 - 14.45
The Rational Postulates for DEL in the Context of Real Administering of Knowledge
Urszula Wybraniec-Skardowska and Jacek Waldmajer
Paper
14.45 - 14.50
Break
15.50 - 15.05
Muddy Children Playground: Number Triangle, Internal Complexity, and Quantifiers
Nina Gierasimczuk and Jakub Szymanik
Abstract, Paper
15.05 - 15.30
Conclusion
Johan van Benthem/Eric Pacuit


Background

Below is some pointers to resources that are relevant for this course including websites of other courses/seminars, textbooks, papers, and web portals.

  • Survey on (dynamic) logics of informational attitudes (pdf).

Additional Information

Relevant Conferences: