AAAI Publications, Thirty-Second AAAI Conference on Artificial Intelligence

Font Size: 
Strategic Coalitions With Perfect Recall
Pavel Naumov, Jia Tao

Last modified: 2018-04-26


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.


coalition; strategy; perfect recall; know-how; completeness

Full Text: PDF