default search action

combined dblp search
author search
venue search
publication search

ask others

16th TARK 2017: Liverpool, UK

> Home > Conferences and Workshops > TARK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Lang17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Lang17a
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1708-02654
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-02654
Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo:
Cheryl's Birthday. 1-9
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AptW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AptW17
Krzysztof R. Apt, Dominik Wojtczak:
Common Knowledge in a Logic of Gossips. 10-27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BelardinelliDH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelardinelliDH17
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek:
A Logic for Global and Local Announcements. 28-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BelardinelliGHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BelardinelliGHL17
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel:
Relaxing Exclusive Control in Boolean Games. 43-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenthemBE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenthemBE17
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A New Game Equivalence and its Modal Logic. 57-74
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjorndahlH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjorndahlH17
Adam Bjorndahl, Joseph Y. Halpern:
From Type Spaces to Probability Frames and Back, via Language. 75-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjorndahlO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjorndahlO17
Adam Bjorndahl, Aybüke Özgün:
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract. 88-101
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Catonini17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Catonini17
Emiliano Catonini:
Rationalizability and Epistemic Priority Orderings. 102-117
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChenE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChenE17
Weiwei Chen, Ulle Endriss:
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. 118-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChristoffG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChristoffG17
Zoé Christoff, Davide Grossi:
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy. 134-150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CiardelliO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CiardelliO17
Ivano Ciardelli, Martin Otto:
Bisimulation in Inquisitive Modal Logic. 151-166
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ConradieFPPTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ConradieFPPTW17
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg:
Toward an Epistemic-Logical Theory of Categorization. 167-186
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EijckL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EijckL17
Jan van Eijck, Kai Li:
Conditional Belief, Knowledge and Probability. 188-206
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GalimullinA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GalimullinA17
Rustam Galimullin, Natasha Alechina:
Coalition and Group Announcement Logic. 207-220
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GarrabrantBCST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GarrabrantBCST17
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor:
A Formal Approach to the Problem of Logical Non-Omniscience. 221-235
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeninK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeninK17
Konstantin Genin, Kevin T. Kelly:
The Topology of Statistical Verifiability. 236-250
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhoshH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshH17
Arpita Ghosh, Joseph Y. Halpern:
Games With Tolerant Players. 251-264
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhoshHVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshHVW17
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1708-00378
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-00378
Pierfrancesco Guarino:
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems. 285-305
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HalpernMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernMP17
Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). 306-323
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HalpernP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP17
Joseph Y. Halpern, Rafael Pass:
A Knowledge-Based Analysis of the Blockchain Protocol. 324-335
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HollidayI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HollidayI17
Wesley H. Holliday, Thomas F. Icard III:
Indicative Conditionals and Dynamic Epistemic Logic. 337-351
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kishida17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kishida17
Kohei Kishida:
Categories for Dynamic Epistemic Logic. 353-372
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kuijer17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kuijer17
Louwe B. Kuijer:
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. 373-381
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LevT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LevT17
Omer Lev, Moshe Tennenholtz:
Group Recommendations: Axioms, Impossibilities, and Random Walks. 382-397
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Meyden17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Meyden17
Ron van der Meyden:
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). 398-414
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mongin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mongin17
Philippe Mongin:
Bayesian Decision Theory and Stochastic Independence. 415-425
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NallsB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NallsB17
Will Nalls, Adam Bjorndahl:
Endogenizing Epistemic Actions. 426-440
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NaumovT17ab
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaumovT17ab
Pavel Naumov, Jia Tao:
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). 441-453
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Peters17aa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Peters17aa
Dominik Peters:
Condorcet's Principle and the Preference Reversal Paradox. 455-469
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Schipper17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schipper17
Burkhard C. Schipper:
Self-confirming Games: Unawareness, Discovery, and Equilibrium. 470-488
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ShiSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShiSV17
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada:
Argument-based Belief in Topological Structures. 489-503
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Urbaniak17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Urbaniak17
Rafal Urbaniak:
Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding. 504-514
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Wang17d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Wang17d
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.