Strategic Coalitions with Perfect Recall
This work addresses a theoretical problem in formal logic for researchers in multi-agent systems, but it is incremental as it builds on existing systems by adding a perfect recall assumption.
The paper tackles the problem of modeling strategic coalitions with perfect recall by proposing a bimodal logic that integrates distributed knowledge and coalition know-how modalities, and it establishes soundness and completeness theorems as the main results.
The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by a single axiom. The main technical results are the soundness and the completeness theorems for the proposed logical system.