![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
14th TARK 2013: Chennai, India
- Burkhard C. Schipper:
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013. 2013, ISBN 978-0-615-74716-3 - Burkhard C. Schipper:
Foreword. - Rineke Verbrugge:
Logic in the Lab. - Gabrielle Anderson, Matthew Collinson, David J. Pym:
Utility-based Decision-making in Distributed Systems Modelling. - Guillaume Aucher, François Schwarzentruber:
On the Complexity of Dynamic Epistemic Logic. - Ido Ben-Zvi, Yoram Moses:
The Shape of Reactive Coordination Tasks. - Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. - Katarina Britz, Ivan José Varzinczak:
Defeasible Modalities. - Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. - Eduardo Espinosa-Avila, Francisco Hernández Quiroz:
Bounded rationality in a dynamic alternate game. - Jayant V. Ganguli, Aviad Heifetz:
Universal Interactive Preferences. - Yannai A. Gonczarowski, Yoram Moses:
Timely Common Knowledge. - Davide Grossi, Emiliano Lorini, François Schwarzentruber:
Ceteris Paribus Structure in Logics of Game Forms. - Ziv Hellman:
Deludedly Agreeing to Agree. - Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
The Complexity of Online Manipulation of Sequential Elections. - Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. - Jeffrey Kane, Pavel Naumov:
Epistemic Logic for Communication Chains. - Jérôme Lang, Bruno Zanuttini:
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. - Pavel Naumov, Brittany Nicholls:
R.E. Axiomatization of Conditional Independence. - Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn:
When is an example a counterexample? - Bassel Tarbush:
Agreeing on decisions: an analysis with counterfactuals. - Rodica Bozianu, Catalin Dima, Constantin Enea:
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. - Torben Braüner:
Hybrid-Logical Reasoning in False-Belief Tasks. - Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. - Jan van Eijck:
PDL as a Multi-Agent Strategy Logic. - Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. - Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. - Jeremy Seligman, Fenrong Liu, Patrick Girard:
Facebook and the epistemic logic of friendship. - Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe:
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.