8th Conference on Logic and the
Foundations of Game and Decision Theory

Amsterdam, 3-5 July 2008

General Chairs
Giacomo Bonanno, University of California at Davis, U.S.A.
Benedikt Löwe, Universiteit van Amsterdam, The Netherlands
Wiebe van der Hoek, The University of Liverpool, United Kingdom

web page:

Thursday, July 3
10:00-11:10 Registration 
11:10-11:30 Opening (Room P.227) 
11:30-12:30 Invited talk (Room P.227)  (Chair: Giacomo Bonanno)
Thomas Henzinger (École Polytechnique Fédérale de Lausanne, Switzerland)
Games in System Design and Verification
12:30-14:30 Lunch Break 
14:30-15:30 Session Plenary 1 (Room P.227)  (Chair: Benedikt Löwe)
14:30-14:50 Dov Samet
Agreeing to Disagree: the Non-Probabilistic Case
14:50-15:10 Dov Samet
S5 Knowledge without Partitions
15:10-15:30 Dov Samet (with Joe Halpern and Ella Segev)
Defining Knowledge in Terms of Beliefs
15:30-15:50 Coffee Break 
15:50-16:50 Session Plenary 2 (Room P.227)  ((Chair: Wiebe van der Hoek)
15:50-16:10 Giacomo Bonanno
Rational Choice and Belief Revision
16:10-16:30 Jérôme Lang (with Leon van der Torre)
From Belief Change to Preference Change
16:10-16:50  Floor Sietsma (with Jan van Eijck)
Multi-Agent Belief Revision with Linked Plausibilities
16:50-17:10 Coffee Break 
17:10-18:10 Session Triple 1 (Rooms P.015A, P.016, P.017) 
P.015A  (Chair: Christian List) P.016 (Chair: Jerome Lang) P.017 
17:10-17:30 Davide Grossi
Proving Theorems of Judgment Aggregation as Corollaries of Theorems of Preference Aggregation
Bernard Tchantcho and Lawrence Diffo Lambo
A Note on the Stability of Voting Games
17:30-17:50 Daniel Ecker (with Christian Klamler) 
A Geometric Approach to Judgment Aggregation
Luc Bovens (with Claus Beisbart)
Measuring Influence for Independent Voters: A Generalisation of the Banzhaf Measure
Till Grüne Yanoff
Evolutionary Game Theory: Natural Selection Implies Interpersonal Comparisons
17:50-18:10  Felix Brandt and Paul Harrenstein
Dominance in Social Choice and Coalitional Game Theory
Satoru Suzuki
Preference Logic and its Measurement-Theoretic Semantics
Giacomo Sillari
Quantified Logic of Awareness and Impossible Possible Worlds
18:10-18:30 Coffee Break 
18:30-19:30 Session Plenary 3 (Room P.227)  (Chair: Johan van Benthem)
18:30-18:50 Hans van Ditmarsch (with Tim French)
Simulation and Information: Quantifying over Epistemic States
18:50-19:10 Nils Bulling (with Wojciech Jamroga)
What Agents can Probably Enforce
19:10-19:30 Dietmar Berwanger
Infinite Coordination Games

Friday, July 4
9:50-10:50 Invited talk (Room P.227) (Chair: Krzystof Apt)
Christian List (London School of Economics, UK)
Majority voting on restricted domains
10:50-11:10 Coffee Break 
11:10-12:30 Session Duo 1 (Rooms P.017 and P.018) 
P.019 (Chair: Robert van Roy) P.018 (Chair: Jan van Eijck)
11:10-11:30 Wojciech Jamroga, Thomas Ågotnes, and Wiebe van der Hoek
A Simpler Semantics for Abilities under Uncertainty
Itai Sher
Persuasion and Limited Communication
11:30-11:50  Claus Beisbart
Joint Action Can Make a Difference: Measures of Voting Power Generalised
Franz Dietrich
Anti-terrorism Policies: the trade-off Between Provocation and Deterrence
11:50-12:10  Michael Franke
Meaning and Inference in Case of Conflict
Konstantinos Georgatos
Geodesic Conditioning
12:10-12:30  Kris de Jaegher, Stephanie Rosenkranz, and Utz Weitzel
Economic Laboratory Experiment on Horn's Rule
Christian Fermüller
Truth Value Intervals, Bets, and Dialogue Games
12:30-14:30 Lunch Break 
14:30-15:30 Session Plenary 4 (Room P.227) (Chair: VAlentin Goranko)
14:30-14:50 Cédric Dégremont (with Johan van Benthem) 
Building Bridges between Dynamic and Temporal Doxastic Logics
14:50-15:10 Jonathan Zvesper (with Eric Pacuit) 
Assumption-incompleteness in Modal Logic
15:10-15:30 Nicolas Troquard (with Wiebe van der Hoek and Michael Wooldridge)
Reasoning about Strategic Games with Hybrid Logic of Choice and Preferences
15:30-15:50 Coffee Break 
15:50-16:50 Session Plenary 5 (Room P.227)  (Chair: Wolfgang Spohn)
15:50-16:10 Lena Kurzen
A Logic for Cooperation, Actions and Preference
16:10-16:30 Sujata Ghosh
Strategies Made Explicit in Dynamic Game Logic
16:30-16:50 Robert van Rooij
Revealed Preferences and Satisficing Behavior
16:50-17:10 Coffee Break 
17:10-18:10 Session Plenary 6 (Room P.227) 
17:10-17:30 Jonathan Zvesper (with Krzysztof Apt and Andreas Witzel) 
Strategic Games with Interaction Structures
17:30-17:50 Burkhard Schipper (with Aviad Heifetz and Martin Meier) 
Dynamic Unawareness and Rationalizable Behavior
17:50-18:10 Frederick Herzberg
Hyperreal Expected Utilities and Pascal's Wager
18:10-18:30 Coffee Break 
18:30-19:30 Invited talk (Room P.227) (Chair: Benedikt Löwe)
Nicole Schweikardt (Johann Wolfgang Goethe-Universität Frankfurt, Germany) 
Logic and Data Exchange: Which Solutions are "Good" Solutions?

Saturday, July 5
9:50-10:50 Invited talk (Room P.227)  (Chair: Giacomo Bonanno)
Hervé Moulin (Rice University, USA)
Efficient, strategy-proof and almost balanced-budget mechanisms
10:50-11:10 Coffee Break 
11:10-12:30 Session Duo 2 (Rooms P.016 and P.017) 
P.016 (Chair Wiebe van der Hoek) P.017 (Chair: Hans vand Ditmarsch)
11:10-11:30 Valentin Goranko (with Thomas Ågotnes and Wojciech Jamroga)
Strategic Commitment and Release in Logics for Multi-Agent Systems
Tomohiro Hoshi
Public Announcement Logics with Constrained Protocols
11:30-11:50  Marija Slavkovik (with Gabriella Pigozzi and Leon van der Torre)
Conclusion-Based Procedure for Judgment Aggregation Satisfying Premise Independence
Matthias Hanauske, Steffen Bernius, Wolfgang König, Berndt Dugall
Experimental Validation of Quantum Game Theory
11:50-12:10  Guiseppe Primiero
Aggregating Collective Judgments by Selecting Agreements
Oliver Board and Kim-Sau Chung
Object Based Unawareness II: Applications
12:10-12:30  Olivier Roy
Intentions and Transformations of Strategic Games
12:30-14:30 Lunch Break 
14:30-15:10 Session Triple 2 (Rooms P.014, P.016, P.017) 
P.014 (Chair: Giacomo Bonanno) P.016 P.017 
15:10-15:30 Jonathan Zvesper (with Alexandru Baltag and Sonja Smets) 
When All is Done and not (yet) Said: Dynamic Rationality in Extensive Games
Riccardo Pucella and Mehrnoosh Sadrzadeh
Towards a Concrete Semantics for Announcements
Conrad Heilmann
A Representation of Time Discounting as Diminishing Intrapersonal Connectedness
15:30-15:50 Sascia Pavan
Disambiguation Games in Extended and Strategic Form
Davi Romero de Vasconcelos and Edward Hermann Haeusler
Towards an Implementation Theory via a Game Logic Approach
Brian Hill
Dynamic Awareness
15:10-15:30 Coffee Break 
15:30-16:30 Invited talk (Room P.227)  (Chair: Giacomo Bonanno)
Wolfgang Spohn (Universität Konstanz, Germany)
Dependency Equilibria: A New(!) and Reasonable(?) Equilibrium Concept