12. TARK 2009: Stanford, CA, USA

Invited papers

• Susan Athey:
  Designing markets: economics, computer science and the real world. 1
  
• Adam Brandenburger:
  Origins of epistemics. 2
  
• Yoav Shoham:
  Considerations on the logic of intention. 3
  

Contributed papers

• Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper:
  Common knowledge in interaction structures. 4-13
  
• Sergei N. Artëmov, Roman Kuznets:
  Logical omniscience as a computational complexity problem. 14-23
  
• Guillaume Aucher:
  BMS revisited. 24-33
  
• Christian W. Bach, Jérémie Cabessa:
  Limit knowledge of rationality. 34-40
  
• Alexandru Baltag, Sonja Smets:
  Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. 41-50
  
• Ying-Ju Chen, Xiaojian Zhao:
  Contractual traps. 51-60
  
• Stephen Chong, Ron van der Meyden:
  Deriving epistemic conclusions from agent architecture. 61-70
  
• Ivano Ciardelli, Floris Roelofsen:
  Generalized inquisitive logic: completeness via intuitionistic Kripke models. 71-80
  
• Walter Dean, Hidenori Kurokawa:
  Knowledge, proof and the Knower. 81-90
  
• Cédric Dégremont, Olivier Roy:
  Agreement theorems in dynamic-epistemic logic. 91-98
  
• Nikhil R. Devanur, Lance Fortnow:
  A computational theory of awareness and decision making. 99-107
  
• Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
  On distance rationalizability of some voting rules. 108-117
  
• Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
  The shield that never was: societies with single-peaked preferences are more open to manipulation and control. 118-127
  
• Lance Fortnow:
  Program equilibria and discounted computation time. 128-133
  
• Amanda Friedenberg, Martin Meier:
  The context of the game. 134-135
  
• Spyros Galanis:
  Syntactic foundations for unawareness of theorems. 136-145
  
• Joseph Y. Halpern, Rafael Pass:
  A logical characterization of iterated admissibility. 146-155
  
• Joseph Y. Halpern, Rafael Pass, Vasumathi Raman:
  An epistemic characterization of zero knowledge. 156-165
  
• Joseph Y. Halpern, Leandro Chaves Rêgo:
  Reasoning about knowledge of unawareness revisited. 166-173
  
• Andrey Klinger, Moshe Tennenholtz:
  K-SNCC: group deviations in subsidized non-cooperative computing. 174-183
  
• Pierfrancesco La Mura:
  Projective expected utility: a subjective formulation. 184-192
  
• Daniel Lehmann:
  Foundations of non-commutative probability theory. 193-200
  
• Michael Mandler:
  Rationality and the speed of decision-making. 201-207
  
• Sara Miner More, Pavel Naumov:
  On interdependence of secrets in collaboration networks. 208-217
  
• Soumya Paul, R. Ramanujam, Sunil Easaw Simon:
  Dynamic restriction of choices: a preliminary logical report. 218-226
  
• Bryan Renne:
  Evidence elimination in multi-agent justification logic. 227-236
  
• Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge:
  A logic of propositional control for truthful implementations. 237-246
  
• Michael Trost:
  Solutions of strategic games under common belief of sure-thing principle. 247-256
  
• Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck:
  Verifying epistemic protocols under common knowledge. 257-266