| 2009 | A computational theory of awareness and decision making. Nikhil R. Devanur, Lance Fortnow |
| 2009 | A logic of propositional control for truthful implementations. Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
| 2009 | A logical characterization of iterated admissibility. Joseph Y. Halpern, Rafael Pass |
| 2009 | Agreement theorems in dynamic-epistemic logic. Cédric Dégremont, Olivier Roy |
| 2009 | An epistemic characterization of zero knowledge. Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |
| 2009 | BMS revisited. Guillaume Aucher |
| 2009 | Common knowledge in interaction structures. Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
| 2009 | Considerations on the logic of intention. Yoav Shoham |
| 2009 | Contractual traps. Ying-Ju Chen, Xiaojian Zhao |
| 2009 | Deriving epistemic conclusions from agent architecture. Stephen Chong, Ron van der Meyden |
| 2009 | Designing markets: economics, computer science and the real world. Susan Athey |
| 2009 | Dynamic restriction of choices: a preliminary logical report. Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2009 | Evidence elimination in multi-agent justification logic. Bryan Renne |
| 2009 | Foundations of non-commutative probability theory. Daniel Lehmann |
| 2009 | Generalized inquisitive logic: completeness via intuitionistic Kripke models. Ivano Ciardelli, Floris Roelofsen |
| 2009 | Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. Alexandru Baltag, Sonja Smets |
| 2009 | K-SNCC: group deviations in subsidized non-cooperative computing. Andrey Klinger, Moshe Tennenholtz |
| 2009 | Knowledge, proof and the Knower. Walter Dean, Hidenori Kurokawa |
| 2009 | Limit knowledge of rationality. Christian W. Bach, Jérémie Cabessa |
| 2009 | Logical omniscience as a computational complexity problem. Sergei N. Artëmov, Roman Kuznets |
| 2009 | On distance rationalizability of some voting rules. Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko |
| 2009 | On interdependence of secrets in collaboration networks. Sara Miner More, Pavel Naumov |
| 2009 | Origins of epistemics. Adam Brandenburger |
| 2009 | Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009 Aviad Heifetz |
| 2009 | Program equilibria and discounted computation time. Lance Fortnow |
| 2009 | Projective expected utility: a subjective formulation. Pierfrancesco La Mura |
| 2009 | Rationality and the speed of decision-making. Michael Mandler |
| 2009 | Reasoning about knowledge of unawareness revisited. Joseph Y. Halpern, Leandro Chaves Rêgo |
| 2009 | Solutions of strategic games under common belief of sure-thing principle. Michael Trost |
| 2009 | Syntactic foundations for unawareness of theorems. Spyros Galanis |
| 2009 | The context of the game. Amanda Friedenberg, Martin Meier |
| 2009 | The shield that never was: societies with single-peaked preferences are more open to manipulation and control. Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
| 2009 | Verifying epistemic protocols under common knowledge. Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck |