Proceedings of TARK XIV (2013)

Burkhard C. Schipper  


January 7 - 9, 2013

Institute of Mathematical Sciences
Chennai, India

Foreword [PDF]
Burkhard C. Schipper

Logic in the Lab [PDF]
Rineke Verbrugge

Utility-based Decision-making in Distributed Systems Modelling [PDF]
Gabrielle Anderson, Matthew Collinson, and David Pym

On the Complexity of Dynamic Epistemic Logic [PDF]
Guillaume Aucher and Francois Schwarzentruber

The Shape of Reactive Coordination Tasks [PDF]
Ido Ben-Zvi and Yoram Moses

Language-based Games [PDF]
Adam Bjorndahl, Joseph Y. Halpern, and Rafael Pass

Defeasible Modalities [PDF]
Katarina Britz and Ivan Varzinczak

Knowledge, awareness, and bisimulation [PDF]
Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada, and Yi N. Wang

Bounded rationality in a dynamic alternate game [PDF]
Eduardo Espinosa-Avila and Francisco Hernandez-Quiroz

Universal Interactive Preferences [PDF]
Jayant V. Ganguli and Aviad Heifetz

Timely Common Knowledge [PDF]
Yannai A. Gonczarowski and Yoram Moses

Ceteris Paribus Structure in Logics of Game Forms [PDF]
Davide Grossi, Emiliano Lorini, and Francois Schwarzentruber

Deludedly Agreeing to Agree [PDF]
Ziv Hellman

The Complexity of Online Manipulation of Sequential Elections [PDF]
Edith Hemaspaandra, Lane A. Hemaspaandra, and Jorg Rothe

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics [PDF]
X. Huang and R. van der Meyden
Epistemic Logic for Communication Chains [PDF]
Jeffrey Kane and Pavel Naumov

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence [PDF]
Jerome Lang and Bruno Zanuttini

R.E. Axiomatization of Conditional Independence [PDF]
Pavel Naumov and Brittany Nicholls

When is an example a counterexample? [PDF]
Eric Pacuit, Arthur Paul Pedersen, and Jan-Willem Romeijn

Agreeing on decisions: an analysis with counterfactuals [PDF]
Bassel Tarbush

Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics [PDF]
Rodica Bozianu, Catalin Dima, and Constantin Enea

Hybrid-Logical Reasoning in False-Belief Tasks [PDF]
Torben Brauner

Strategic voting and the logic of knowledge [PDF]
Hans van Ditmarsch, Jerome Lang, and Abdallah Saffidine

PDL as a Multi-Agent Strategy Logic [PDF]
Jan van Eijck

Game Theory with Translucent Players [PDF]
Joseph Y. Halpern and Rafael Pass

Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5 [PDF]
Tivadar Papai, Henry Kautz, and Daniel Stefankovic

Facebook and the epistemic logic of friendship [PDF]
Jeremy Seligman, Fenrong Liu, and Patrick Girard

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy [PDF]
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, and Yoshifumi Manabe