| 2017 | A Formal Approach to the Problem of Logical Non-Omniscience. Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor |
| 2017 | A Knowledge-Based Analysis of the Blockchain Protocol. Joseph Y. Halpern, Rafael Pass |
| 2017 | A Logic for Global and Local Announcements. Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek |
| 2017 | A New Game Equivalence and its Modal Logic. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist |
| 2017 | A New Modal Framework for Epistemic Logic. Yanjing Wang |
| 2017 | An Epistemic Foundation for Authentication Logics (Extended Abstract). Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella |
| 2017 | Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. Louwe B. Kuijer |
| 2017 | Argument-based Belief in Topological Structures. Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
| 2017 | Bayesian Decision Theory and Stochastic Independence. Philippe Mongin |
| 2017 | Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy. Zoé Christoff, Davide Grossi |
| 2017 | Bisimulation in Inquisitive Modal Logic. Ivano Ciardelli, Martin Otto |
| 2017 | Categories for Dynamic Epistemic Logic. Kohei Kishida |
| 2017 | Cheryl's Birthday. Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo |
| 2017 | Coalition and Group Announcement Logic. Rustam Galimullin, Natasha Alechina |
| 2017 | Common Knowledge in a Logic of Gossips. Krzysztof R. Apt, Dominik Wojtczak |
| 2017 | Conditional Belief, Knowledge and Probability. Jan van Eijck, Kai Li |
| 2017 | Condorcet's Principle and the Preference Reversal Paradox. Dominik Peters |
| 2017 | Endogenizing Epistemic Actions. Will Nalls, Adam Bjorndahl |
| 2017 | From Type Spaces to Probability Frames and Back, via Language. Adam Bjorndahl, Joseph Y. Halpern |
| 2017 | Games With Tolerant Players. Arpita Ghosh, Joseph Y. Halpern |
| 2017 | Group Recommendations: Axioms, Impossibilities, and Random Walks. Omer Lev, Moshe Tennenholtz |
| 2017 | Indicative Conditionals and Dynamic Epistemic Logic. Wesley H. Holliday, Thomas F. Icard III |
| 2017 | Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract. Adam Bjorndahl, Aybüke Özgün |
| 2017 | Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). Ron van der Meyden |
| 2017 | Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. Weiwei Chen, Ulle Endriss |
| 2017 | Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. Jérôme Lang |
| 2017 | Rationalizability and Epistemic Priority Orderings. Emiliano Catonini |
| 2017 | Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding. Rafal Urbaniak |
| 2017 | Relaxing Exclusive Control in Boolean Games. Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel |
| 2017 | Self-confirming Games: Unawareness, Discovery, and Equilibrium. Burkhard C. Schipper |
| 2017 | The Topology of Statistical Verifiability. Konstantin Genin, Kevin T. Kelly |
| 2017 | The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems. Pierfrancesco Guarino |
| 2017 | Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). Pavel Naumov, Jia Tao |
| 2017 | Toward an Epistemic-Logical Theory of Categorization. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
| 2017 | What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd |