The Logic of Joint Ability in Two-Player Tacit Games

Review of Symbolic Logic 10 (3):481-508 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality.
Reprint years
2017
PhilPapers/Archive ID
PETTLO-11
Revision history
Archival date: 2017-04-08
View upload history
References found in this work BETA
Reasoning About Knowledge.Fagin, Ronald; Y. Halpern, Joseph; Moses, Yoram & Vardi, Moshe
Dynamic Epistemic Logic.van Ditmarsch, Hans; van Der Hoek, Wiebe & Kooi, Barteld
Logic in Games.van Benthem, Johan

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2017-04-08

Total views
137 ( #21,577 of 42,137 )

Recent downloads (6 months)
45 ( #14,609 of 42,137 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.