{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:17Z","timestamp":1740122477146,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100007797","name":"Helsingin Yliopisto","doi-asserted-by":"publisher","award":["Academy of Finland Grant n.286991"],"award-info":[{"award-number":["Academy of Finland Grant n.286991"]}],"id":[{"id":"10.13039\/100007797","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s10849-017-9255-1","type":"journal-article","created":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T10:29:54Z","timestamp":1498040994000},"page":"221-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-6977","authenticated-orcid":false,"given":"Fausto","family":"Barbero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"9255_CR1","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1017\/S175502031200038X","volume":"6","author":"F Barbero","year":"2013","unstructured":"Barbero, F. (2013). On existential declarations of independence in IF logic. The Review of Symbolic Logic, 6, 254\u2013280.","journal-title":"The Review of Symbolic Logic"},{"unstructured":"Barbero, F. (2014). Standard and nonstandard semantics for languages of imperfect information. Ph.D. thesis, Universit\u00e1 di Torino.","key":"9255_CR2"},{"doi-asserted-by":"crossref","unstructured":"Barbero, F., Hella, L., and R\u00f6nnholm, R. (2017). Independence-Friendly logic without Henkin quantification. In To appear in the LNCS Proceedings of WoLLIC 2017.","key":"9255_CR3","DOI":"10.1007\/978-3-662-55386-2_2"},{"key":"9255_CR4","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-1-4020-32110-0_9","volume-title":"Quantifiers, Questions and quantum physics. Essays on the philosophy of Jaakko Hintikka","author":"J Benthem van","year":"2004","unstructured":"van Benthem, J. (2004). Probabilistic features in logic games. In J. Symons & D. Kolak (Eds.), Quantifiers, Questions and quantum physics. Essays on the philosophy of Jaakko Hintikka (pp. 189\u2013195). Berlin: Springer."},{"key":"9255_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in games","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J. (2014). Logic in games. Cambridge, MA: MIT Press."},{"key":"9255_CR6","doi-asserted-by":"crossref","first-page":"673","DOI":"10.2307\/2695036","volume":"66","author":"P Cameron","year":"2001","unstructured":"Cameron, P., & Hodges, W. (2001). Some combinatorics of imperfect information. Journal of Symbolic Logic, 66, 673\u2013684.","journal-title":"Journal of Symbolic Logic"},{"issue":"8","key":"9255_CR7","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"HB Enderton","year":"1970","unstructured":"Enderton, H. B. (1970). Finite partially ordered quantifiers. Mathematical Logic Quarterly, 16(8), 393\u2013397.","journal-title":"Mathematical Logic Quarterly"},{"key":"9255_CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., & V\u00e4\u00e4n\u00e4nen, J. (2013). Dependence and independence. Studia Logica, 101, 399\u2013410.","journal-title":"Studia Logica"},{"key":"9255_CR9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1006\/game.1997.0557","volume":"20","author":"J Halpern","year":"1996","unstructured":"Halpern, J. (1996). On ambiguities in the interpretation of game trees. Games and Economic Behavior, 20, 66\u201396.","journal-title":"Games and Economic Behavior"},{"key":"9255_CR10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/1562814.1562836","volume-title":"TARK \u201909 proceedings of the 12th conference on theoretical aspects of rationality and knowledge","author":"J Halpern","year":"2009","unstructured":"Halpern, J., & Pass, R. (2009). A logical characterization of iterated admissibility. In A. Heifetz (Ed.), TARK \u201909 proceedings of the 12th conference on theoretical aspects of rationality and knowledge (pp. 146\u2013155). New York: ACM."},{"unstructured":"Henkin, L. (1961). Some remarks on infinitely long formulas. In Infinitistic methods, pp. 167\u2013183. Oxford: Pergamon Press.","key":"9255_CR11"},{"key":"9255_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624919","volume-title":"The Principles of Mathematics Revisited","author":"J Hintikka","year":"1996","unstructured":"Hintikka, J. (1996). The Principles of Mathematics Revisited. Cambridge: Cambridge University Press."},{"key":"9255_CR13","first-page":"10","volume":"13","author":"J Hintikka","year":"2013","unstructured":"Hintikka, J. (2013). Function logic and the theory of computability. APA Newsletter on Philosophy and Computers, 13, 10\u201319.","journal-title":"APA Newsletter on Philosophy and Computers"},{"key":"9255_CR14","first-page":"571","volume-title":"Logic, methodology and philosophy of science VIII","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., & Sandu, G. (1989). Informational independence as a semantical phenomenon. In J. E. Fenstad, et al. (Eds.), Logic, methodology and philosophy of science VIII (pp. 571\u2013589). Amsterdam: Elsevier."},{"key":"9255_CR15","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W. (1997). Compositional semantics for a language of imperfect information. Logic Journal of the IGPL, 5, 539\u2013563.","journal-title":"Logic Journal of the IGPL"},{"unstructured":"Hodges, W. (2012). Note on janssen\u2019s Independent choices and the interpretation of IF logic. Working paper.","key":"9255_CR16"},{"key":"9255_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1093\/mind\/XCVI.381.99","volume":"96","author":"L Humberstone","year":"1987","unstructured":"Humberstone, L. (1987). Critical notice of J. Hintikka and J. Kulas, The game of language. Mind, 96, 99\u2013107.","journal-title":"Mind"},{"key":"9255_CR18","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., & van der Hoek, W. (2004). Agents that know how to play. Fundamenta Informaticae, 63, 185\u2013219.","journal-title":"Fundamenta Informaticae"},{"unstructured":"Janssen, T. M. V. (2001). On the definition of independence in logic. Workshop on Logic and Games, Helsinki: Technical report.","key":"9255_CR19"},{"key":"9255_CR20","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1015542413718","volume":"11","author":"TMV Janssen","year":"2002","unstructured":"Janssen, T. M. V. (2002). Independent choices and the interpretation of IF logic. Journal of Logic, Language and Information, 11, 367\u2013387.","journal-title":"Journal of Logic, Language and Information"},{"unstructured":"Janssen, T. M.\u00a0V. (2005). Independence friendly logic as a strategic game. In P. Dekker & M. Franke (Eds) Proceedings fifteenth Amsterdam colloquium, pp. 125\u2013130.","key":"9255_CR21"},{"unstructured":"Janssen, T. M. V. (2007). Independence and Hintikka games. Technical report, ILLC research report and technical notes series.","key":"9255_CR22"},{"key":"9255_CR23","volume-title":"Games and decisions: Introduction and critical survey","author":"RD Luce","year":"1957","unstructured":"Luce, R. D., & Raiffa, H. (1957). Games and decisions: Introduction and critical survey. New York: Wiley."},{"key":"9255_CR24","series-title":"London mathematical society lecture note series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511981418","volume-title":"Independence-Friendly logic\u2014a game-theoretic approach","author":"AL Mann","year":"2011","unstructured":"Mann, A. L., Sandu, G., & Sevenster, M. (2011). Independence-Friendly logic\u2014a game-theoretic approach (Vol. 386)., London mathematical society lecture note series Cambridge: Cambridge University Press."},{"key":"9255_CR25","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.2307\/1914004","volume":"47","author":"H Moulin","year":"1979","unstructured":"Moulin, H. (1979). Dominance solvable voting schemes. Econometrica, 47, 1337\u20131351.","journal-title":"Econometrica"},{"key":"9255_CR26","volume-title":"A course in game theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M. J., & Rubinstein, A. (1994). A course in game theory. Cambridge: MIT Press."},{"key":"9255_CR27","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.2307\/1911197","volume":"52","author":"DG Pearce","year":"1984","unstructured":"Pearce, D. G. (1984). Rationalizable strategic behavior and the problem of perfection. Econometrica, 52, 1029\u20131050.","journal-title":"Econometrica"},{"key":"9255_CR28","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01049180","volume":"22","author":"G Sandu","year":"1993","unstructured":"Sandu, G. (1993). On the logic of informational independence and its applications. Journal of Philosophical Logic, 22, 29\u201360.","journal-title":"Journal of Philosophical Logic"},{"key":"9255_CR29","volume-title":"The strategy of conflict","author":"TC Schelling","year":"1960","unstructured":"Schelling, T. C. (1960). The strategy of conflict. Cambridge: Harvard University Press."},{"unstructured":"Sevenster, M. (2007). A strategic perspective on if games. Technical report, ILLC scientific publications, Inst. for Logic, Language and Computation.","key":"9255_CR30"},{"issue":"04","key":"9255_CR31","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1017\/jsl.2013.30","volume":"79","author":"M Sevenster","year":"2014","unstructured":"Sevenster, M. (2014). Dichotomy result for independence-friendly prefixes of generalized quantifiers. The Journal of Symbolic Logic, 79(04), 1224\u20131246.","journal-title":"The Journal of Symbolic Logic"},{"key":"9255_CR32","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF00630749","volume":"13","author":"G Sher","year":"1990","unstructured":"Sher, G. (1990). Ways of branching quantifiers. Linguistics and Philosophy, 13, 393\u2013422.","journal-title":"Linguistics and Philosophy"},{"key":"9255_CR33","series-title":"London mathematical society student texts","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence logic: A new approach to independence friendly logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2007). Dependence logic: A new approach to independence friendly logic (Vol. 70)., London mathematical society student texts Cambridge: Cambridge University Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-017-9255-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9255-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9255-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T09:14:33Z","timestamp":1569489273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-017-9255-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9255"],"URL":"https:\/\/doi.org\/10.1007\/s10849-017-9255-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2017,6,21]]}}}