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

## TL;DR

This paper develops a formal logical framework to analyze the relationship between distributed knowledge, coalition strategies, and coalition 'know-how' strategies, providing a sound and complete system for reasoning about these concepts.

## Contribution

It introduces a novel trimodal logical system that captures the interplay between knowledge and strategic ability in coalitions, advancing formal epistemic and strategic reasoning.

## Key findings

- Established a sound and complete logical system.
- Clarified the distinction between knowing that a strategy exists and knowing how to implement it.
- Provided formal tools for reasoning about coalition knowledge and strategies.

## 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.