{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:24Z","timestamp":1725493224587},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_33","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"394-406","source":"Crossref","is-referenced-by-count":4,"title":["Axiomatising Nash-Consistent Coalition Logic"],"prefix":"10.1007","author":[{"given":"Helle Hvid","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"J. Abdou and H. Keiding. Effectivity Functions in Social Choice. Kluwer, 1991.","DOI":"10.1007\/978-94-011-3448-4"},{"key":"33_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-49213-5_2","volume-title":"Compositionality: The Significant Difference","author":"R. Alur","year":"1998","unstructured":"R. Alur, T. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Compositionality: The Significant Difference, LNCS1536, pages 23\u201360. Springer, 1998."},{"issue":"4","key":"33_CR3","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1016\/0022-0531(74)90111-2","volume":"7","author":"A. Gibbard","year":"1974","unstructured":"A. Gibbard. A pareto-consistent libertarian claim. Journal of Economic Theory, 7(4):388\u2013410, 1974.","journal-title":"Journal of Economic Theory"},{"key":"33_CR4","unstructured":"H. Moulin. The Strategy of Social Choice. North-Holland, 1983."},{"issue":"l","key":"33_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-4068(82)90009-X","volume":"10","author":"H. Moulin","year":"1982","unstructured":"H. Moulin and B. Peleg. Cores of effectivity functions and implementation theory. Journal of Mathematical Economics, 10(l):115\u2013145, 1982.","journal-title":"Journal of Mathematical Economics"},{"key":"33_CR6","unstructured":"M. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, 1994."},{"key":"33_CR7","unstructured":"M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001."},{"issue":"1","key":"33_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1): 149\u2013166, 2002.","journal-title":"Journal of Logic and Computation"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s003550050092","volume":"15","author":"B. Peleg","year":"1998","unstructured":"B. Peleg. Effectivity functions, game forms, games and rights. Social Choice and Welfare, 15:67\u201380, 1998.","journal-title":"Social Choice and Welfare"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0165-4896(01)00095-6","volume":"43","author":"B. Peleg","year":"2002","unstructured":"B. Peleg, H. Peters, and T. Storcken. Nash consistent representation of constitutions: A reaction to the Gibbard paradox. Mathematical Social Sciences, 43:267\u2013287, 2002.","journal-title":"Mathematical Social Sciences"},{"key":"33_CR11","unstructured":"T. Sandholm. Distributed rational decision making. In G. Weiss, editor, Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence, pages 201\u2013258. MIT Press, 1999."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:13:13Z","timestamp":1550981593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}