Strategic Coalitions with Perfect Recall
Artificial Intelligence
2017-11-16 v2 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1707.04298,
title = {Strategic Coalitions with Perfect Recall},
author = {Pavel Naumov and Jia Tao},
journal= {arXiv preprint arXiv:1707.04298},
year = {2017}
}