Together we know how to achieve: an epistemic logic of know-how
Together we know how to achieve: an epistemic logic of know-how
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to fol- low the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article studies an interplay between the distributed knowledge, coalition strategies, and coalition “know-how” strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay.
Electronic Proceedings in Theoretical Computer Science
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
24 July 2017
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel and Tao, Jia
(2017)
Together we know how to achieve: an epistemic logic of know-how.
In,
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge.
(Electronic Proceedings in Theoretical Computer Science, 251)
16th Conference on Theoretical Aspects of Rationality and Knowledge (24/07/17 - 26/07/17)
Electronic Proceedings in Theoretical Computer Science.
(doi:10.48550/arXiv.1707.08250).
Record type:
Book Section
Abstract
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to fol- low the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article studies an interplay between the distributed knowledge, coalition strategies, and coalition “know-how” strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay.
Text
2017-tark
- Accepted Manuscript
More information
Published date: 24 July 2017
Venue - Dates:
16th Conference on Theoretical Aspects of Rationality and Knowledge, , Liverpool, United Kingdom, 2017-07-24 - 2017-07-26
Identifiers
Local EPrints ID: 483115
URI: http://eprints.soton.ac.uk/id/eprint/483115
ISSN: 2075-2180
PURE UUID: 44aa0a52-d02b-48dc-933a-a1476724950a
Catalogue record
Date deposited: 25 Oct 2023 01:56
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Author:
Jia Tao
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics