Accepted Papers

Oral Presentations

• Itai Arieli, Ivan Geffner and Moshe Tennenholtz. Resilient Information Aggregation

• Christian W. Bach and Andrés Perea. Epistemic Conditions for Bayesian Equilibrium

• Philippe Balbiani, Wiebe Van der Hoek and Louwe B. Kuijer. Simple Axioms for Local Properties

• Marta Bílková and Igor Sedlár. Epistemic Logics of Structured Intensional Groups

• Adam Bjorndahl and Joseph Halpern. Sequential Language-based Decisions

• Giacomo Bonanno. Characterization of AGM belief contraction in terms of conditionals

• Armando Castaneda, Hans van Ditmarsch, David A. Rosenblueth and Diego Alejandro Velázquez Cervantes. Comparing the update expressivity of communication patterns and action models

• Michele Crescenzi. Group knowledge and individual introspection

• James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate and Michael Wooldridge. On Imperfect Recall in Multi-Agent Influence Diagrams

• Meir Friedenberg and Joseph Y. Halpern. Joint Behavior and Common Belief

• Sabine Frittella, Daniil Kozhemiachenko and Bart Verheij. Presumptive Reasoning in a Paraconsistent Setting

• Yotam Gafni and Moshe Tennenholtz. Distinguishable Safety Level and Its Applications

• Rustam Galimullin and Louwe B. Kuijer. Satisfiability of APAL with Common Knowledge is $\Sigma^1_1$-hard

• Jeremy Goodman and Bernhard Salow. Belief revision from probability

• Ronen Gradwohl and Moshe Tennenholtz. Selling Data to a Competitor

• David Hyland, Julian Gutierrez and Michael Wooldridge. Incentive Engineering for Concurrent Games

• Yanjun Li. Tableaux for the logic of strategically knowing how

• Yipu Li and Yanjing Wang. Epistemic Syllogistic: First Steps

• Thomas Schlögl and Ulrich Schmid. A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems

• Bernard Sinclair-Desgagné. Mining for Unknown Unknowns

• Yuanzhe Yang. Knowledge-wh and false belief sensitivity: A logical study

Posters

• Krzysztof Apt and Sunil Simon. Iterated elimination of weakly dominated strategies in well-founded games

• Farid Arthaud and Martin Rinard. Depth-bounded epistemic logic

• Edoardo Baccini and Zoé Christoff. Comparing Social Network Dynamic Operators

• Gaia Belardinelli and Burkhard Schipper. Implicit knowledge in unawareness structures

• Nicodemo De Vito. Complete Conditional Type Structures

• Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang and Xiaolong Wang. Causal Kripke models

• Robert Ganian, Thekla Hamm, Dušan Knop, Sanjukta Roy, Šimon Schierreich and Ondřej Suchý. Maximizing Social Welfare in Score-Based Social Distance Games

• Marco Garapa, Eduardo Fermé and Maurício Reis. System of Spheres-based Two Level Credibility-limited Revisions

• Emmanuel Genot. A “Game of Like": Online Social Network Sharing As Strategic Interaction

• Peter Hawke. An Acceptance Semantics for Stable Modal Knowledge

• Saira Khan. Metatickles and Death in Damascus

• Harvey Lederman. Incomplete preferences and the axiom of parity

• Daniel Miedema and Malvin Gattinger. Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic

• Caspar Oesterheld, Abram Demski and Vincent Conitzer. A theory of bounded inductive rationality

• Panagiotis Papadamos and Nina Gierasimczuk. Cognitive Bias in Belief Revision

• Arthur Paul Pedersen and Samuel Allen Alexander. Strengthening Consistency Results in Modal Logic

• Carlo Proietti, Fernando R. Velázquez-Quesada and Antonio Yuste-Ginel. A More Abstract Look at Awareness Models and Their Dynamics

• Aldo Iván Ramírez Abarca. A Logic-Based Analysis of Responsibility

• Minkyung Wang and Chisu Kim. Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results!