| 2013 | Agreeing on decisions: an analysis with counterfactuals. Bassel Tarbush |
| 2013 | An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe |
| 2013 | Bounded rationality in a dynamic alternate game. Eduardo Espinosa-Avila, Francisco Hernández Quiroz |
| 2013 | Ceteris Paribus Structure in Logics of Game Forms. Davide Grossi, Emiliano Lorini, François Schwarzentruber |
| 2013 | Defeasible Modalities. Katarina Britz, Ivan Varzinczak |
| 2013 | Deludedly Agreeing to Agree. Ziv Hellman |
| 2013 | Epistemic Logic for Communication Chains. Jeffrey Kane, Pavel Naumov |
| 2013 | Facebook and the epistemic logic of friendship. Jeremy Seligman, Fenrong Liu, Patrick Girard |
| 2013 | Foreword. Burkhard C. Schipper |
| 2013 | Game Theory with Translucent Players. Joseph Y. Halpern, Rafael Pass |
| 2013 | Hybrid-Logical Reasoning in False-Belief Tasks. Torben Braüner |
| 2013 | Knowledge, awareness, and bisimulation. Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng |
| 2013 | Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. Jérôme Lang, Bruno Zanuttini |
| 2013 | Language-based Games. Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2013 | Logic in the Lab. Rineke Verbrugge |
| 2013 | Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. Rodica Bozianu, Catalin Dima, Constantin Enea |
| 2013 | On the Complexity of Dynamic Epistemic Logic. Guillaume Aucher, François Schwarzentruber |
| 2013 | PDL as a Multi-Agent Strategy Logic. Jan van Eijck |
| 2013 | Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013 Burkhard C. Schipper |
| 2013 | R.E. Axiomatization of Conditional Independence. Pavel Naumov, Brittany Nicholls |
| 2013 | Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. Tivadar Papai, Henry A. Kautz, Daniel Stefankovic |
| 2013 | Strategic voting and the logic of knowledge. Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine |
| 2013 | Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. Xiaowei Huang, Ron van der Meyden |
| 2013 | The Complexity of Online Manipulation of Sequential Elections. Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
| 2013 | The Shape of Reactive Coordination Tasks. Ido Ben-Zvi, Yoram Moses |
| 2013 | Timely Common Knowledge. Yannai A. Gonczarowski, Yoram Moses |
| 2013 | Universal Interactive Preferences. Jayant V. Ganguli, Aviad Heifetz |
| 2013 | Utility-based Decision-making in Distributed Systems Modelling. Gabrielle Anderson, Matthew Collinson, David J. Pym |
| 2013 | When is an example a counterexample? Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn |