Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

2017/07/27 by Pavel Naumov, Jia Tao
Computer Science · #cs.AI #cs.LO

paper · pdf · doi:10.4204/eptcs.251.32

published as EPTCS 251, 2017, pp. 441-453 · In Proceedings TARK 2017, arXiv:1707.08250

arxiv created 2017/07/27 · arxiv updated 2017/07/28

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 follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The paper 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.

Citations

• Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge