# Together We Know How to Achieve: An Epistemic Logic of Know-How

arXiv: https://arxiv.org/abs/1705.09349 · HTML: https://mlsanity.com/paper/1705.09349/

## Key facts

- Cited by 8 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 25 May 2017.

## Built on by (most cited first, 8 of 8)

- [From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems](https://mlsanity.com/paper/2210.02260/) (2022)
- [Responsibility Gap in Collective Decision Making](https://mlsanity.com/paper/2505.06312/) (2025)
- [Budget-Constrained Coalition Strategies with Discounting](https://mlsanity.com/paper/2105.04692/) (2021)
- [Shhh! The Logic of Clandestine Operations](https://mlsanity.com/paper/2305.07035/) (2023)
- [Knowing How to Plan](https://mlsanity.com/paper/2106.11504/) (2021)
- [Tableaux for the Logic of Strategically Knowing How](https://mlsanity.com/paper/2307.05066/) (2023)
- [The Logic of Doxastic Strategies](https://mlsanity.com/paper/2312.07107/) (2023)
- [Distributed Knowing How](https://mlsanity.com/paper/2511.22374/) (2025)

## Abstract (arXiv)

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.