| 2013 | Logic in the Lab. | Rineke Verbrugge |
| 2013 | An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. | Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe |
| 2013 | Agreeing on decisions: an analysis with counterfactuals. | Bassel Tarbush |
| 2013 | Facebook and the epistemic logic of friendship. | Jeremy Seligman, Fenrong Liu, Patrick Girard |
| 2013 | Foreword. | Burkhard C. Schipper |
| 2013 | Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. | Tivadar Papai, Henry A. Kautz, Daniel Stefankovic |
| 2013 | When is an example a counterexample? | Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn |
| 2013 | R.E. Axiomatization of Conditional Independence. | Pavel Naumov, Brittany Nicholls |
| 2013 | Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. | Jrme Lang, Bruno Zanuttini |
| 2013 | Epistemic Logic for Communication Chains. | Jeffrey Kane, Pavel Naumov |
| 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, Jrg Rothe |
| 2013 | Deludedly Agreeing to Agree. | Ziv Hellman |
| 2013 | Game Theory with Translucent Players. | Joseph Y. Halpern, Rafael Pass |
| 2013 | Ceteris Paribus Structure in Logics of Game Forms. | Davide Grossi, Emiliano Lorini, Franois Schwarzentruber |
| 2013 | Timely Common Knowledge. | Yannai A. Gonczarowski, Yoram Moses |
| 2013 | Universal Interactive Preferences. | Jayant V. Ganguli, Aviad Heifetz |
| 2013 | Bounded rationality in a dynamic alternate game. | Eduardo Espinosa-Avila, Francisco Hernndez Quiroz |
| 2013 | PDL as a Multi-Agent Strategy Logic. | Jan van Eijck |
| 2013 | Strategic voting and the logic of knowledge. | Hans van Ditmarsch, Jrme Lang, Abdallah Saffidine |
| 2013 | Knowledge, awareness, and bisimulation. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada, Y N. Wng |
| 2013 | Defeasible Modalities. | Katarina Britz, Ivan Varzinczak |
| 2013 | Hybrid-Logical Reasoning in False-Belief Tasks. | Torben Braner |
| 2013 | Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. | Rodica Bozianu, Catalin Dima, Constantin Enea |
| 2013 | Language-based Games. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |