{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T22:28:48Z","timestamp":1666564128351},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T00:00:00Z","timestamp":1490572800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2017,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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<jats:italic>coordination problems<\/jats:italic>, 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<jats:italic>Two-Player Strategic Coordination Logic<\/jats:italic>(SCL<jats:sup>2<\/jats:sup>). 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 SCL<jats:sup>2<\/jats:sup>and CL<jats:sup>2<\/jats:sup>, and present a sound and complete axiomatization for SCL<jats:sup>2<\/jats:sup>. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality.<\/jats:p>","DOI":"10.1017\/s1755020316000496","type":"journal-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T03:04:40Z","timestamp":1490583880000},"page":"481-508","source":"Crossref","is-referenced-by-count":2,"title":["THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES"],"prefix":"10.1017","volume":"10","author":[{"given":"PETER","family":"HAWKE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2017,3,27]]},"reference":[{"key":"S1755020316000496_ref18","unstructured":"Pauly M . (2001). Logic for Social Software. Ph.D. Thesis, University of Amsterdam."},{"key":"S1755020316000496_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80023-1"},{"key":"S1755020316000496_ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01545-8","volume-title":"Essentials of Game Theory: A Concise, Multidisciplinary Introduction. Synthesis Lectures on Artificial Intelligence and Machine Learning","author":"Leyton-Brown","year":"2008"},{"key":"S1755020316000496_ref6","author":"Fagin","year":"1995"},{"key":"S1755020316000496_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1324249.1324256"},{"key":"S1755020316000496_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-012-9192-y"},{"key":"S1755020316000496_ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"S1755020316000496_ref19","volume-title":"The Strategy of Conflict","author":"Schelling","year":"1960"},{"key":"S1755020316000496_ref22","first-page":"1","article-title":"Agents who know how to play","volume":"62","author":"van der Hoek","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"S1755020316000496_ref16","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Pacuit","year":"2016"},{"key":"S1755020316000496_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000190"},{"key":"S1755020316000496_ref27","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","article-title":"Complete axiomatization and decidability of alternating-time temporal logic","volume":"353","author":"van Drimmelen","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"S1755020316000496_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_5"},{"key":"S1755020316000496_ref8","unstructured":"Goranko V. & Hawke P . (2010). On the dynamics of information and abilities of players in multi-player games. In Proceedings of LOFT 10. Paper presented at the 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 9), University of Toulouse, France, July 2010."},{"key":"S1755020316000496_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"S1755020316000496_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511571756"},{"key":"S1755020316000496_ref3","doi-asserted-by":"crossref","DOI":"10.1515\/9780691186313","volume-title":"Beyond Individual Choice","author":"Bacharach","year":"2006"},{"key":"S1755020316000496_ref9","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024915.66183.d1"},{"key":"S1755020316000496_ref13","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001"},{"key":"S1755020316000496_ref20","doi-asserted-by":"publisher","DOI":"10.1142\/S0219198907001254"},{"key":"S1755020316000496_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01306968"},{"key":"S1755020316000496_ref7","first-page":"421","volume-title":"Proceedings of Twenty-Second Conference on Artifical Intelligence (AAAI07)","author":"Ghaderi","year":"2007"},{"key":"S1755020316000496_ref21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"van Benthem","year":"2014"},{"key":"S1755020316000496_ref25","unstructured":"van Ditmarsch H. , Lang J. , & Saffidine A . (2012). Strategic voting and the logic of knowledge. In Proceedings of 14th TARK. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, International Foundation for Autonomous Agents and Multi-agent Systems, Richland, SC, USA, pp. 1247\u20131248."},{"key":"S1755020316000496_ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2008"},{"key":"S1755020316000496_ref4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl025"},{"key":"S1755020316000496_ref15","doi-asserted-by":"publisher","DOI":"10.1111\/1468-0068.00446"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020316000496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T22:20:30Z","timestamp":1658874030000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020316000496\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,27]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["S1755020316000496"],"URL":"https:\/\/doi.org\/10.1017\/s1755020316000496","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,27]]}}}