Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

TL;DR

This paper introduces a formal logical framework to analyze the relationship between distributed knowledge, coalition strategies, and coalition 'know-how' strategies, providing a rigorous basis for understanding strategic knowledge in multi-agent systems.

Contribution

It develops a sound and complete logical system that captures the interplay between knowledge and strategies in coalitions, advancing formal epistemic logic.

Findings

Established a formal logical system for coalition strategies and knowledge

Proved the system's soundness and completeness

Clarified the distinction between strategy existence and knowledge of 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 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.