# Distributed Knowing How

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

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 7 of its 22 references that are in the map.
- First posted on arXiv 27 Nov 2025.

## Builds on (most cited first, 7 of 7)

- [Together We Know How to Achieve: An Epistemic Logic of Know-How](https://mlsanity.com/paper/1705.09349/) (2017)
- [Beyond knowing that: a new generation of epistemic logics](https://mlsanity.com/paper/1605.01995/) (2016)
- [Strategically knowing how](https://mlsanity.com/paper/1705.05254/) (2017)
- [A Logic of Knowing How](https://mlsanity.com/paper/1505.06651/) (2015)
- [Resolving Distributed Knowledge](https://mlsanity.com/paper/1606.07515/) (2016)
- [Varieties of Distributed Knowledge](https://mlsanity.com/paper/2505.06619/) (2025)
- [Epistemic Logics of Structured Intensional Groups](https://mlsanity.com/paper/2307.05056/) (2023)

## Abstract (arXiv)

Distributed knowledge is a key concept in the standard epistemic logic of knowledge-that. In this paper, we propose a corresponding notion of distributed knowledge-how and study its logic. Our framework generalizes two existing traditions in the logic of know-how: the individual-based multi-step framework and the coalition-based single-step framework. In particular, we assume a group can accomplish more than what its individuals can jointly do. The distributed knowledge-how is based on the distributed knowledge-that of a group whose multi-step strategies derive from distributed actions that subgroups can collectively perform. As the main result, we obtain a sound and strongly complete proof system for our logic of distributed knowledge-how, which closely resembles the logic of distributed knowledge-that in both the axioms and the proof method of completeness.