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