Strategic Coalitions with Perfect Recall
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 5 papers in the map (data through 14 Oct 2026). First posted on arXiv 13 Jul 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 1; 2023: 3.
5 papers.
- 2022From Intelligent Agents to Trustworthy Human-Centred Multiagent Systemscited by 4
- 2021Budget-Constrained Coalition Strategies with Discountingcited by 1
- 2023Shhh! The Logic of Clandestine Operationscited by 1
- 2023Tableaux for the Logic of Strategically Knowing Howcited by 0
- 2023The Logic of Doxastic Strategiescited by 0
- 2023The Logic of Doxastic Strategies12 Dec 2023
- 2023Tableaux for the Logic of Strategically Knowing How11 Jul 2023
- 2023Shhh! The Logic of Clandestine Operations10 May 2023
- 2022From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems5 Oct 2022
- 2021Budget-Constrained Coalition Strategies with Discounting10 May 2021