{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T04:21:39Z","timestamp":1741839699965,"version":"3.38.0"},"reference-count":61,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T00:00:00Z","timestamp":1316736000000},"content-version":"unspecified","delay-in-days":22,"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":[[2011,9]]},"abstract":"<jats:p>We introduce and study a PDL-style logic for reasoning about protocols, or plans, under imperfect information. Our paper touches on a number of issues surrounding the relationship between an agent\u2019s abilities, available choices, and information in an interactive situation. The main question we address is under what circumstances can the agent commit to a protocol or plan, and what can she achieve by doing so?<\/jats:p>","DOI":"10.1017\/s1755020311000190","type":"journal-article","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T16:02:40Z","timestamp":1318262560000},"page":"412-444","source":"Crossref","is-referenced-by-count":11,"title":["REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION"],"prefix":"10.1017","volume":"4","author":[{"given":"ERIC","family":"PACUIT","sequence":"first","affiliation":[]},{"given":"SUNIL","family":"SIMON","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,9,23]]},"reference":[{"key":"S1755020311000190_ref19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"S1755020311000190_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9309-7"},{"key":"S1755020311000190_ref12","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2008.00137.x"},{"key":"S1755020311000190_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00061-2"},{"key":"S1755020311000190_ref44","doi-asserted-by":"publisher","DOI":"10.2307\/2678403"},{"key":"S1755020311000190_ref61","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1987210200991"},{"key":"S1755020311000190_ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026761331498"},{"volume-title":"The Concept of Mind","year":"1949","author":"Ryle","key":"S1755020311000190_ref40"},{"key":"S1755020311000190_ref38","first-page":"408","volume-title":"Perspectives in Concurrency Theory","author":"Ramanujam","year":"2009"},{"key":"S1755020311000190_ref52","first-page":"87","volume-title":"Proceedings of Advances in Modal Logic","volume":"6","author":"van Benthem","year":"2006"},{"volume-title":"In Praise of Strategies","year":"2008","author":"van Benthem","key":"S1755020311000190_ref49"},{"key":"S1755020311000190_ref17","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79161"},{"key":"S1755020311000190_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXXXVIII.1.394"},{"volume-title":"Modal Logic","year":"2002","author":"Blackburn","key":"S1755020311000190_ref2"},{"key":"S1755020311000190_ref23","unstructured":"Hoshi T. (2009). Epistemic dynamics and protocol information. PhD Thesis, Stanford University."},{"key":"S1755020311000190_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-007-9041-6"},{"key":"S1755020311000190_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050038"},{"key":"S1755020311000190_ref42","doi-asserted-by":"crossref","first-page":"401","DOI":"10.7551\/mitpress\/3839.003.0021","volume-title":"Intentions in Communication","author":"Searle","year":"1990"},{"key":"S1755020311000190_ref56","first-page":"262","volume-title":"Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 1180 of Lecture Notes in Computer Science","author":"van der Meyden","year":"1996"},{"key":"S1755020311000190_ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-007-9242-1"},{"key":"S1755020311000190_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264365"},{"key":"S1755020311000190_ref45","doi-asserted-by":"publisher","DOI":"10.1080\/10002003098538748"},{"key":"S1755020311000190_ref47","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015534111901"},{"key":"S1755020311000190_ref48","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8586.00133"},{"key":"S1755020311000190_ref55","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/11.2.135"},{"key":"S1755020311000190_ref22","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001"},{"key":"S1755020311000190_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511625190"},{"key":"S1755020311000190_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-007-9078-7"},{"volume-title":"Intention, Plans and Practical Reason","year":"1987","author":"Bratman","key":"S1755020311000190_ref3"},{"key":"S1755020311000190_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70525-3_12"},{"key":"S1755020311000190_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"S1755020311000190_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00355160"},{"key":"S1755020311000190_ref10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"S1755020311000190_ref9","first-page":"1","article-title":"The modal logic of agency","volume":"2","author":"Elgesem","year":"1997","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"S1755020311000190_ref14","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024915.66183.d1"},{"key":"S1755020311000190_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784885"},{"key":"S1755020311000190_ref18","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797320906"},{"key":"S1755020311000190_ref20","first-page":"768","volume-title":"Proceedings of the Seventeenth National Conference on Artificial Intelligence","author":"Herzig","year":"2000"},{"key":"S1755020311000190_ref36","doi-asserted-by":"publisher","DOI":"10.1145\/23005.23008"},{"key":"S1755020311000190_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-004-6368-1"},{"key":"S1755020311000190_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160666"},{"key":"S1755020311000190_ref24","first-page":"572","volume-title":"Proceedings of KR 2010","author":"Icard","year":"2010"},{"key":"S1755020311000190_ref25","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.423-475"},{"key":"S1755020311000190_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90019-0"},{"key":"S1755020311000190_ref29","first-page":"212","volume-title":"Proceedings of LORI\u201909","author":"Lorini","year":"2009"},{"volume-title":"The Philosophy of Sociality","year":"2010","author":"Tuomela","key":"S1755020311000190_ref46"},{"key":"S1755020311000190_ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80021-8"},{"key":"S1755020311000190_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050031"},{"key":"S1755020311000190_ref34","first-page":"111","volume-title":"Topics in the Theory of Computation (Borgholm, 1983), Vol. 102 of North-Holland Math. Stud","volume":"24","author":"Parikh","year":"1985"},{"key":"S1755020311000190_ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025007018583"},{"key":"S1755020311000190_ref37","first-page":"1","volume-title":"Proceedings of TARK","author":"Ramanujam","year":"1996"},{"key":"S1755020311000190_ref39","unstructured":"Roy O. , & Pacuit E. (2011). Substantive assumptions in interaction: A logical perspective. Manuscript."},{"volume-title":"On Social Facts","year":"1989","author":"Gilbert","key":"S1755020311000190_ref13"},{"key":"S1755020311000190_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9204-8_6"},{"key":"S1755020311000190_ref59","unstructured":"Wang Y. (2010). Epistemic modelling and protocol dynamics. PhD Thesis, CWI."},{"key":"S1755020311000190_ref50","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533"},{"key":"S1755020311000190_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-008-9099-x"},{"key":"S1755020311000190_ref53","first-page":"1","article-title":"Formalising abilities and opportunities of agents","volume":"34","author":"van der Hoek","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"S1755020311000190_ref54","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"S1755020311000190_ref57","first-page":"257","volume-title":"Proceedings of TARK","author":"van Eijk","year":"2009"},{"key":"S1755020311000190_ref58","unstructured":"van Otterloo S. (2005). A strategic analysis of multi-agent protocols. PhD Thesis, ILLC University of Amsterdam."}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020311000190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T17:36:36Z","timestamp":1741800996000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020311000190\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":61,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["S1755020311000190"],"URL":"https:\/\/doi.org\/10.1017\/s1755020311000190","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}