16th conference on Theoretical Aspects of Rationality and Knowledge (TARK 17)
Department or Program
Computer Science Department
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.
Naumov, Pavel and Tao, Jia, "Together We Know How to Achieve: An Epistemic Logic of Know-How" (2017). Faculty Research and Reports. 110.