Sixteenth conference on Theoretical Aspects of Rationality and Knowledge
Accepted Papers
A Formal Approach to the Problem of Logical Non-Omniscience Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares and Jessica Taylor
A Knowledge-Based Analysis of the Blockchain Joseph Halpern and Rafael Pass
A Logic for Global and Local Announcements Francesco Belardinelli, Hans van Ditmarsch and Wiebe Van Der Hoek
An Epistemic Foundation for Authentication Logics Joseph Halpern, Ron van der Meyden and Riccardo Pucella
A new game equivalence and its modal game logic Johan van Benthem, Nick Bezhanishvili and Sebastian Enqvist
A new modal framework for epistemic logic Yanjing Wang
A note on Evolution of Preferences Oliver Pardo
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE Louwe B. Kuijer
Argument-based Belief in Topological Structures Chenwei Shi, Sonja Smets and Fernando R. Velázquez-Quesada
Bayesian Decision Theory and Stochastic Independence Philippe Mongin
Binary Aggregation with Delegable Proxy Zoé Christoff and Davide Grossi
Bisimulation in inquisitive modal logic Ivano Ciardelli and Martin Otto
Categories for Dynamic Epistemic Logic Kohei Kishida
Choice-Theoretic Deontic Logic Franz Dietrich and Christian List
Coalition and Group Announcement Logic Rustam Galimullin and Natasha Alechina
Common Belief in Rationality in Psychological Games Stephan Jagau and Andrés Perea
Common Knowledge in a Logic of Gossips Krzysztof Apt and Dominik Wojtczak
Conditional Belief, Knowledge and Probability Jan van Eijck and Kai Li
Condorcet's Principle and the Preference Reversal Paradox Dominik Peters
Endogenizing Epistemic Actions Will Nalls and Adam Bjorndahl
From Type Spaces to Probability Frames and Back, via Language Adam Bjorndahl and Joseph Halpern
Games With Tolerant Players Arpita Ghosh and Joseph Halpern
Group Recommendations: Axioms, Impossibilities, and Random Walks Omer Lev and Moshe Tennenholtz
Indicative Conditionals and Dynamic Epistemic Logic Wesley Holliday and Thomas Icard
Logic and Topology for Knowledge, Knowability, and Belief Adam Bjorndahl and Aybüke Özgün
No Trade and Yes Trade Theorems for Heterogeneous Priors Ziv Hellman and Alia Gizatulina
Optimizing Epistemic Model Checking using Conditional Independence Ron van der Meyden
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks Weiwei Chen and Ulle Endriss
Qualitative analysis of common belief of rationality in strategic-form games Giacomo Bonanno and Elias Tsakas
Rationalizability and epistemic priority orderings Emiliano Catonini
Reconciling bayesian epistemology and narration-based approaches to judiciary fact-finding Rafal Urbaniak
Relaxing Exclusive Control in Boolean Games Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro and Laurent Perrussel
Self-confirming games: Unawareness, discovery, and equilibrium Burkhard Schipper
The Topology of Statistical Verifiability Konstantin Genin and Kevin Kelly
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems Pierfrancesco Guarino
Together We Know How to Achieve: An Epistemic Logic of Know-How Pavel Naumov and Jia Tao
Towards an epistemic-logical theory of categorization Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis and Nachoem Wijnberg
What drives people’s choices in turn-taking games, if not game-theoretic rationality? Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge and Harmen de Weerd
Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem Andrés Perea
