default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th 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
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.
last updated on 2026-04-25 00:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
