{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:52:21Z","timestamp":1725580341827},"publisher-location":"Dordrecht","reference-count":19,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400700796"},{"type":"electronic","value":"9789400700802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-94-007-0080-2_13","type":"book-chapter","created":{"date-parts":[[2011,4,1]],"date-time":"2011-04-01T14:04:08Z","timestamp":1301666648000},"page":"229-239","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Logical Analysis of Adjusted Winner"],"prefix":"10.1007","author":[{"given":"Eric","family":"Pacuit","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,10]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"495","author":"R. Alur","year":"2002","unstructured":"Alur R., Henzinger T., and Kupferman O. Alternating-time temporal logic, JACM, 495: 672\u2013713, 2002.","journal-title":"JACM"},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511598975","volume-title":"Fair Division: From Cake-Cutting to Dispute Resolution","author":"S. J. Brams","year":"1996","unstructured":"Brams S. J., and Taylor A. D. Fair Division: From Cake-Cutting to Dispute Resolution. Cambridge University Press, Cambridge, 1996."},{"key":"13_CR3","volume-title":"The Win\u2013Win Solution","author":"S. J. Brams","year":"1999","unstructured":"Brams S. J., and Taylor A. D. The Win\u2013Win Solution. W. W. Norton and Company, New York, NY, 1999."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"Floyd R. W. Assigning meanings to programs, Proc. Symp. Appl. Math., 19: 19\u201331, 1967.","journal-title":"Proc. Symp. Appl. Math."},{"key":"13_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Kozen D., and Tiuryn J. Dynamic Logic. MIT Press, Cambridge, MA, 2000."},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare C. A. R. An axiomatic basis for computer programming, Commun. ACM, 12: 576\u2013583, 1969.","journal-title":"Commun. ACM"},{"key":"13_CR7","volume-title":"Semantics with Applications","author":"H. R. Nielson","year":"1992","unstructured":"Nielson H. R., and Nielson F. Semantics with Applications. Wiley, Chichester, 1992."},{"key":"13_CR8","volume-title":"A Course in Game Theory","author":"M. Osborne","year":"1994","unstructured":"Osborne M., and Rubinstein A. A Course in Game Theory. The MIT Press, Cambridge, 1994."},{"key":"13_CR9","volume-title":"Proceedings of Computational Social Choice","author":"E. Pacuit","year":"2006","unstructured":"Pacuit E., Parikh R., and Salame S. Some recent results on adjusted winner. In U. Endriss and J. Lange, editors, Proceedings of Computational Social Choice. ILLC Technical, Amsterdam, The Netherlands, 2006."},{"key":"13_CR10","unstructured":"Pacuit E., and Parikh R. Introduction to Formal Epistemology. Coursenotes for ESSLLI 2007. Available at staff.science.uva.nl\/epacuit\/formep esslli.html"},{"key":"13_CR11","volume-title":"Topics in the Theory of Computation","author":"R. Parikh","year":"1985","unstructured":"Parikh R. The logic of games and its applications. In M. Karpinski and J. van Leeuwen, editors, Topics in the Theory of Computation, (vol. 24 of Annals of Discrete Mathematics), Elsevier, Amsterdam, 1985."},{"key":"13_CR12","unstructured":"Parikh R. Language as social software (abstract). In International Congress on Logic, Methodology and Philosophy of Science, page 415. 1995."},{"key":"13_CR13","unstructured":"Parikh R. Knowledge and structure in social algorithms (extended abstract). Presented at Stony Brook Conference on Game Theory, 2007."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"121","author":"M. Pauly","year":"2002","unstructured":"Pauly M. A modal logic for coalitional power in games, J. Log. Comput., 121: 149\u2013166, 2002.","journal-title":"J. Log. Comput."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/logcom\/exi014","volume":"153","author":"M. Pauly","year":"2005","unstructured":"Pauly M. Programming and verifying subgame perfect mechanisms, J. Log. Comput., 153: 295\u2013316, 2005.","journal-title":"J. Log. Comput."},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"752","author":"M. Pauly","year":"2003","unstructured":"Pauly M., and Parikh R. Game logic \u2013 An overview, Stud. Log., 752: 165\u2013182, 2003.","journal-title":"Stud. Log."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Pratt V. R. Semantical considerations on Floyd-Hoare logic. In Proceedings of. 17th Symposium on Foundation of Computer Science. IEEE, pages 109\u2013121, 1976","DOI":"10.1109\/SFCS.1976.27"},{"key":"13_CR18","unstructured":"van Otterloo S. A Strategic Analysis of Multi-Agent Protocols. PhD thesis, University of Liverpool, 2005."},{"key":"13_CR19","unstructured":"Wooldridge M., Agotnes T., Dunne P., and van der Hoek, W. Logic for automated mechanism design \u2014 A progress report. In Twenty-Second Conference on Artificial Intelligence (AAAI-07), 2007."}],"container-title":["Proof, Computation and Agency"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-0080-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T12:42:26Z","timestamp":1558528946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-0080-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9789400700796","9789400700802"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-0080-2_13","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}