Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2 July 2007, Meeting of the Minds, Euclides Building, ILLC, Amsterdam

Date: 2 July 2007
Time: 13:00 - 17:15
Location: Euclides Building, ILLC, Amsterdam

The meeting will be held in room P.327. Speakers include J. van Benthem, K.R. Apt, J. van Eijck and E. Pacuit.

Preliminary program

13:00 - 13:45 Johan van Benthem Rational Dynamics: Solving Games as a Logical Process
We analyze existing game solution procedures as steps in a process of iterated public announcement between two minds that meet either in reality or virtually. We provide technical background in dynamic epistemic fixed-point logic, draw some analogies with the work of Krzysztof Apt, and finally use our framework to discuss some new scenarios for rational (inter)action in extensive games.
13:45 - 14:30 Krzysztof R. Apt Relative Strength of Strategy Elimination Procedures
We compare the relative strength of four widely used procedures on finite strategic games: iterated elimination of weakly/strictly dominated strategies by a pure/mixed strategy. A complication is that none of these procedures is based on a monotonic operator. To deal with this problem we use 'global' versions of these operators. The ones corresponding with strict dominance are monotonic which allows us to use them in the epistemic framework of game theory based on possibility correspondences as `a stand alone' concept of rationality.
14:30 - 14:50 Discussion
14:50 - 15:15 Coffee Break
15:15 - 16:00 Jan van Eijck On Seeing Things Change
We will present an account of perception, as an extension of the Logic of Communication and Change of Van Benthem, Van Eijck and Kooi, 2006).
16:00 - 16:45 Eric Pacuit Merging Frameworks for Interaction: DEL and ETL
Many logical systems today were designed to describe behaviour of intelligent interacting agents over time. Frameworks with a certain following include Interpreted Systems (IS, Fagin et al.), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam), STIT (Belnap et al.) and one might even add Process Algebra and Game Semantics (Abramsky) to this list. The main purpose of this paper is to look at one particular interface, between two systems that both address the dynamics of knowledge and information flow in multi-agent systems. One is the IS/ETL paradigm and the other framework is that of Dynamic Epistemic Logic (DEL). It has long been unclear how to compare these approaches in the most fruitful manner. We systematize and strengthen the interface between IS/ETL and DEL to an extent where fruitful interaction becomes possible, including new research questions on both sides. Note that we are not reducing one framework to another, nor simply `applying' them. We show rather how ETL and DEL lead to interesting new issues when merged as accounts of intelligent agents.
16:45 - 17:15 Discussion
17:15 - ? Drinks

For more information, please contact .

Please note that this newsitem has been archived, and may contain outdated information or links.