Theoretical Aspects of Rationality and Knowledge

Sommaire

---

Forward . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i

Invited Papers:

 

No Regrets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1

Frank Arntzenius

 

Learning, Regret Minimization and Option Pricing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Yishay Mansour

 

Games, Geometry, and the Computational Complexity of Finding Equilibria . . . . . .. . . . . . . . . . . . . . . . . . . 4

Bernhard von Stengel

Contributed Papers:

 

Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness . . . . . . . . . . . . . . . 6

Thomas Agotnes and Natasha Alechina.

 

Alternating-time Temporal Logics with Irrevocable Strategies . . . . . . . . . . . . . . . . . . . . . . . .15

Thomas Agotnes, Valentin Goranko and Wojtek Jamroga

 

Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets . . . . . . . . . . . .. . . . . . . . . . . . . . . . 25

Krzysztof Apt

 

Commonsense Reasoning by Distance Semantics . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 33

Ofer Arieli

 

What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . . . . . . . . . . . . . . . . . . . . 42

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tiago De Lima and Tomohiro Hoshi From Conditional Probability to the Logic of Doxastic Actions . . . . . . . . .52

Alexandru Baltag and Sonja Smets.

 

Knowledge-based modeling of voting protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

A. Baskar, R. Ramanujam and S.P. Suresh

 

Merging Frameworks for Interaction: DEL and ETL . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . .72

Johan van Benthem, Jelle Gerbrandy and Eric Pacuit

 

The Computational Complexity of Choice Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

Felix Brandt, Felix Fischer and Paul Harrenstein

 

A Normal Simulation of Coalition Logic and an Epistemic Extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

Jan Broersen, Andreas Herzig and Nicolas Troquard

 

Limited Verification of Identities to Induce False-Name-Proofness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102

Vincent Conitzer

 

Imaging and Sleeping Beauty: A Case for Double-Halfers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

Mikael Cozic

 

Inexact Knowledge, Margin for Error and Positive Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

Julien Dutant

 

Vote Manipulation in the Presence of Multiple Sincere Ballots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

Ulle Endriss

 

Incorporating Unawareness into Contract Theory . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

Emel Filiz

 

Theorems and Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .145

Spyros Galanis

 

Common p-belief and uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155

Jayant Ganguli

 

A Flexible Mechanism for Dialogue Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .160

Jelle Gerbrandy, Guido Boella and Joris Hulstijn

 

Dealing With Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169

Joseph Halpern and Riccardo Pucella

 

A Canonical Model for Interactive Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177

Aviad Heifetz, Martin Meier and Burkhard Schipper

 

Unawareness, Beliefs and Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .183

Aviad Heifetz, Martin Meier and Burkhard Schipper

 

Explaining Quantity Implicatures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193

Tikitu de Jager and Robert van Rooij

 

Communication, consensus and order. Who wants to speak first? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203

Lucie Menager and Nicolas Houy.

 

Preservation of Epistemic Properties in Security Protocol Implementations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212

Ron van der Meyden and Thomas Wilke

 

Robust Equilibria Under Non-Common Priors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222

Daisuke Oyama and Olivier Tercieux

 

Unawareness and Strategic Announcements in Games with Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231

Erkut Ozbay

 

Perfect Cryptography, S5 Knowledge, and Algorithmic Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239

Sabina Petride and Riccardo Pucella

Judgment aggregation and the problem of truth-tracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248

Gabriella Pigozzi and Stephan Hartmann

 

Generalized Solution Concepts in Games with Possibly Unaware Players . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .253

Leandro Rego and Joseph Halpern

 

Convergence of Behavior in Social Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263

Dinah Rosenberg, Eilon Solan and Nicolas Vieille

 

Alternating-time Temporal Logic with Explicit Strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .269

Dirk Walther, Wiebe van der Hoek and Michael Wooldridge

 

Sequential voting rules and multiple elections paradoxes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .279

Lirong Xia, Jerome Lang and Mingsheng Ying

Author index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 289

---