![](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
16th TARK 2017: Liverpool, UK
- Jérôme Lang:
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. EPTCS 251, 2017 - Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
:
Cheryl's Birthday. 1-9 - Krzysztof R. Apt, Dominik Wojtczak
:
Common Knowledge in a Logic of Gossips. 10-27 - Francesco Belardinelli
, Hans van Ditmarsch, Wiebe van der Hoek:
A Logic for Global and Local Announcements. 28-42 - Francesco Belardinelli
, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
:
Relaxing Exclusive Control in Boolean Games. 43-56 - Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist:
A New Game Equivalence and its Modal Logic. 57-74 - Adam Bjorndahl, Joseph Y. Halpern:
From Type Spaces to Probability Frames and Back, via Language. 75-87 - Adam Bjorndahl, Aybüke Özgün
:
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract. 88-101 - Emiliano Catonini:
Rationalizability and Epistemic Priority Orderings. 102-117 - Weiwei Chen, Ulle Endriss
:
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. 118-133 - Zoé Christoff
, Davide Grossi
:
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy. 134-150 - Ivano Ciardelli, Martin Otto:
Bisimulation in Inquisitive Modal Logic. 151-166 - Willem Conradie
, Sabine Frittella
, Alessandra Palmigiano
, Michele Piazzai, Apostolos Tzimoulis
, Nachoem Wijnberg:
Toward an Epistemic-Logical Theory of Categorization. 167-186 - Jan van Eijck, Kai Li:
Conditional Belief, Knowledge and Probability. 188-206 - Rustam Galimullin
, Natasha Alechina:
Coalition and Group Announcement Logic. 207-220 - Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor:
A Formal Approach to the Problem of Logical Non-Omniscience. 221-235 - Konstantin Genin, Kevin T. Kelly:
The Topology of Statistical Verifiability. 236-250 - Arpita Ghosh, Joseph Y. Halpern:
Games With Tolerant Players. 251-264 - Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd
:
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? 265-284 - Pierfrancesco Guarino:
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems. 285-305 - Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). 306-323 - Joseph Y. Halpern, Rafael Pass
:
A Knowledge-Based Analysis of the Blockchain Protocol. 324-335 - Wesley H. Holliday
, Thomas F. Icard III:
Indicative Conditionals and Dynamic Epistemic Logic. 337-351 - Kohei Kishida
:
Categories for Dynamic Epistemic Logic. 353-372 - Louwe B. Kuijer:
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. 373-381 - Omer Lev, Moshe Tennenholtz:
Group Recommendations: Axioms, Impossibilities, and Random Walks. 382-397 - Ron van der Meyden
:
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). 398-414 - Philippe Mongin:
Bayesian Decision Theory and Stochastic Independence. 415-425 - Will Nalls, Adam Bjorndahl:
Endogenizing Epistemic Actions. 426-440 - Pavel Naumov
, Jia Tao:
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). 441-453 - Dominik Peters
:
Condorcet's Principle and the Preference Reversal Paradox. 455-469 - Burkhard C. Schipper:
Self-confirming Games: Unawareness, Discovery, and Equilibrium. 470-488 - Chenwei Shi
, Sonja Smets
, Fernando R. Velázquez-Quesada
:
Argument-based Belief in Topological Structures. 489-503 - Rafal Urbaniak
:
Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding. 504-514 - Yanjing Wang
:
A New Modal Framework for Epistemic Logic. 515-534
![](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.