Together We Know How to Achieve: An Epistemic Logic of Know-How
arXiv:1705.09349
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 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.
An extended abstract of this paper will appear in Proceedings of 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK-17), Liverpool, United Kingdom, July 24-26, 2017