TARK 2017

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