{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:54Z","timestamp":1748751354239,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662485392"},{"type":"electronic","value":"9783662485408"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48540-8_7","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:32:33Z","timestamp":1452267153000},"page":"202-251","source":"Crossref","is-referenced-by-count":4,"title":["Languages for Imperfect Information"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Sandu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"7_CR1","unstructured":"Abramsky, S., V\u00e4\u00e4n\u00e4nen, J.: From IF to BI: a tale of dependence and separation. CoRR abs\/1102 (2011)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","volume":"6","author":"F Bacchus","year":"1990","unstructured":"Bacchus, F.: A logic for representing and reasoning with statistical knowledge. Comput. Intell. 6, 209\u2013231 (1990)","journal-title":"Comput. Intell."},{"issue":"02","key":"7_CR3","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1017\/S175502031200038X","volume":"6","author":"F Barbero","year":"2013","unstructured":"Barbero, F.: On existential declarations of independence in IF logic. Rev. Symb. Log. 6(02), 254\u2013280 (2013)","journal-title":"Rev. Symb. Log."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1093\/jigpal\/jzu004","volume":"22","author":"F Barbero","year":"2014","unstructured":"Barbero, F., Sandu, G.: Signaling in independence-friendly logic. Log. J. IGPL 22, 638\u2013664 (2014)","journal-title":"Log. J. IGPL"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00258419","volume":"8","author":"J Barwise","year":"1979","unstructured":"Barwise, J.: On branching quantifiers in English. J. Philos. Log. 8, 47\u201380 (1979)","journal-title":"J. Philos. Log."},{"key":"7_CR6","series-title":"Texts in Logic and Games","first-page":"197","volume-title":"New Perspectives on Games and Interaction","author":"JFAK Benthem van","year":"2008","unstructured":"van Benthem, J.F.A.K.: Games that make sense. In: Apt, K.R., van Rooij, R. (eds.) New Perspectives on Games and Interaction. Texts in Logic and Games, vol. 4, pp. 197\u2013209. Amsterdam University Press, Amsterdam (2008)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1023\/A:1025002917675","volume":"12","author":"JFAK Benthem van","year":"2003","unstructured":"van Benthem, J.F.A.K.: Conditional probability meets update logic. J. Log. Lang. Inform. 12, 409\u2013421 (2003)","journal-title":"J. Log. Lang. Inform."},{"key":"7_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"JFAK Benthem van","year":"2014","unstructured":"van Benthem, J.F.A.K.: Logic in Games. MIT Press, Cambridge (2014)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"JFAK Benthem van","year":"2009","unstructured":"van Benthem, J.F.A.K., Gerbrandy, J., Kooi, B.: Dynamic update with probabilities. Stud. Logica. 93, 67\u201396 (2009)","journal-title":"Stud. Logica."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(86)90040-0","volume":"32","author":"A Blass","year":"1986","unstructured":"Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Ann. Pure Appl. Log. 32, 1\u201316 (1986)","journal-title":"Ann. Pure Appl. Log."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.2307\/2938240","volume":"59","author":"L Blume","year":"1991","unstructured":"Blume, L., Brandenburger, A., Dekel, E.: Lexicographic probabilities and choice under uncertainty. Econometrica J. Econometric Soc. 59, 61\u201379 (1991)","journal-title":"Econometrica J. Econometric Soc."},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10988-011-9092-7","volume":"34","author":"A Brasoveanu","year":"2011","unstructured":"Brasoveanu, A., Farkas, D.F.: How indefinites choose their scope. Linguist. Philos. 34(1), 1\u201355 (2011)","journal-title":"Linguist. Philos."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1093\/jigpal\/jzn030","volume":"17","author":"X Caicedo","year":"2009","unstructured":"Caicedo, X., Dechesne, F., Janssen, T.M.V.: Equivalence and quantifier rules for logic with imperfect information. Log. J. IGPL 17, 91\u2013129 (2009)","journal-title":"Log. J. IGPL"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2007)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"HB Enderton","year":"1970","unstructured":"Enderton, H.B.: Finite partially ordered quantifiers. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 16, 393\u2013397 (1970)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1006\/game.1999.0763","volume":"33","author":"C Ewerhart","year":"2000","unstructured":"Ewerhart, C.: Chess-like games are dominance solvable in at most two steps. Games Econ. Behav. 33(1), 41\u201347 (2000)","journal-title":"Games Econ. Behav."},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1006\/jeth.2001.2958","volume":"107","author":"C Ewerhart","year":"2002","unstructured":"Ewerhart, C.: Iterated weak dominance in strictly competitive games of perfect information. J. Econ. Theor. 107(2), 474\u2013482 (2002)","journal-title":"J. Econ. Theor."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge, MA (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"7_CR19","first-page":"933","volume":"88","author":"D Friedman","year":"1998","unstructured":"Friedman, D.: Monty Hall\u2019s three doors: construction and deconstruction of a choice anomaly. Am. Econ. Rev. 88, 933\u2013946 (1998)","journal-title":"Am. Econ. Rev."},{"key":"7_CR20","unstructured":"Galliani, P.: Game values and equilibria for undetermined sentences of dependence logic. M.Sc. thesis, Universiteit van Amsterdam (2008). Master of Logic Series 2008\u201308"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Log. 163, 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"351","DOI":"10.2307\/2273128","volume":"44","author":"W Goldfarb","year":"1979","unstructured":"Goldfarb, W.: Logic in the twenties: the nature of the quantifier. J. Symb. Log. 44, 351\u2013368 (1979)","journal-title":"J. Symb. Log."},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","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.: Dependence and independence. Stud. Logica. 101(2), 399\u2013410 (2013)","journal-title":"Stud. Logica."},{"key":"7_CR24","volume-title":"Introduction to Probabilities","author":"CM Grinstead","year":"1998","unstructured":"Grinstead, C.M., Snell, L.: Introduction to Probabilities, 2nd edn. American Mathematical Society, Providence (1998)","edition":"2"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J Halpern","year":"1990","unstructured":"Halpern, J.: An analysis of first-order logics of probability. Artif. Intell. 46, 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"key":"7_CR26","first-page":"167","volume-title":"Intuitionistic Methods: Proceedings of the Symposium on Foundations of Mathematics","author":"L Henkin","year":"1961","unstructured":"Henkin, L.: Some remarks on infinitely long formulas. In: Bernays, P. (ed.) Intuitionistic Methods: Proceedings of the Symposium on Foundations of Mathematics, pp. 167\u2013183. Pergamon Press, Oxford (1961)"},{"key":"7_CR27","first-page":"153","volume":"5","author":"J Hintikka","year":"1974","unstructured":"Hintikka, J.: Quantifiers vs. quantification theory. Linguist. Inq. 5, 153\u2013174 (1974)","journal-title":"Linguist. Inq."},{"key":"7_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624919","volume-title":"The Principles of Mathematics Revisited","author":"J Hintikka","year":"1996","unstructured":"Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, Cambridge (1996)"},{"key":"7_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9847-2","volume-title":"The Game of Language","author":"J Hintikka","year":"1983","unstructured":"Hintikka, J., Kulas, J.: The Game of Language. D. Reidel, Dordrecht (1983)"},{"key":"7_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5410-6","volume-title":"Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics","author":"J Hintikka","year":"1985","unstructured":"Hintikka, J., Kulas, J.: Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics. D. Reidel, Dordrecht (1985)"},{"key":"7_CR31","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0049-237X(08)70066-1","volume-title":"Logic, Methodology and Philosophy of Science VIII","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Frolov, I.T., Fenstad, J.E., Hilpinen, R. (eds.) Logic, Methodology and Philosophy of Science VIII. Studies in Logic and the Foundations of Mathematics, pp. 571\u2013589. North-Holland, Amsterdam (1989)"},{"key":"7_CR32","volume-title":"On the Methodology of Linguistics: A Case Study","author":"J Hintikka","year":"1991","unstructured":"Hintikka, J., Sandu, G.: On the Methodology of Linguistics: A Case Study. Basil Blackwell, Oxford (1991)"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J Hintikka","year":"1997","unstructured":"Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361\u2013410. Elsevier, Amsterdam (1997)"},{"key":"7_CR34","first-page":"415","volume-title":"Handbook of Logic and Language","author":"J Hintikka","year":"2010","unstructured":"Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, 2nd edn, pp. 415\u2013466. Elsevier, Amsterdam (2010)","edition":"2"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. Log. J. IGPL 5, 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"7_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0819-8","volume-title":"The Pleasures of Probabilities","author":"R Isaac","year":"1995","unstructured":"Isaac, R.: The Pleasures of Probabilities. Springer, New York (1995)"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-1-4020-5012-7_15","volume-title":"The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today","author":"TMV Janssen","year":"2006","unstructured":"Janssen, T.M.V., Dechesne, F.: Signalling in IF games: a tricky business. In: Rebuschi, M., van Benthem, J., Heinzmann, G., Visser, H. (eds.) The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, pp. 221\u2013241. Springer, Berlin (2006)"},{"issue":"4","key":"7_CR38","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"BP Kooi","year":"2003","unstructured":"Kooi, B.P.: Probabilistic dynamic epistemic logic. J. Log. Lang. Inform. 12(4), 381\u2013408 (2003)","journal-title":"J. Log. Lang. Inform."},{"key":"7_CR39","first-page":"548","volume-title":"Logic at Work","author":"M Krynicki","year":"1999","unstructured":"Krynicki, M., Mostowski, M.: Ambiguous quantifiers. In: Orlowska, E. (ed.) Logic at Work, pp. 548\u2013565. Springer, Heidelberg (1999)"},{"key":"7_CR40","volume-title":"Convention: A Philosophical Study","author":"D Lewis","year":"1969","unstructured":"Lewis, D.: Convention: A Philosophical Study. Harvard University Press, Cambridge (1969)"},{"key":"7_CR41","unstructured":"Mann, A.L.: Workshop on dependence and independence logic. In: ESSLLI (2010)"},{"key":"7_CR42","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511981418","volume-title":"Independence-Friendly Logic: A Game-Theoretic Approach","author":"AL Mann","year":"2011","unstructured":"Mann, A.L., Sandu, G., Sevenster, M.: Independence-Friendly Logic: A Game-Theoretic Approach. London Mathematical Society Lecture Note Series, vol. 386. Cambridge University Press, Cambridge (2011)"},{"key":"7_CR43","volume-title":"The New Complete Hoyle Revised","author":"AH Morehead","year":"1991","unstructured":"Morehead, A.H., Frey, R.L., Mott-Smith, G.: The New Complete Hoyle Revised. Doubleday, New York (1991)"},{"key":"7_CR44","volume-title":"An Introduction to Game Theory","author":"JM Osborne","year":"2003","unstructured":"Osborne, J.M.: An Introduction to Game Theory. Oxford University Press, Oxford (2003)"},{"key":"7_CR45","first-page":"736","volume-title":"Handbook of Game Theory with Economic Applications","author":"TES Raghavan","year":"1994","unstructured":"Raghavan, T.E.S.: Zero-sum two person games. In: Aumann, R.J., Hart, S. (eds.) Handbook of Game Theory with Economic Applications, vol. 2, pp. 736\u2013759. Elsevier, Amsterdam (1994)"},{"issue":"1","key":"7_CR46","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01766400","volume":"4","author":"R Selten","year":"1975","unstructured":"Selten, R.: Reexamination of the perfectness concept for equilibrium points in extensive games. Int. J. Game Theory 4(1), 25\u201355 (1975)","journal-title":"Int. J. Game Theory"},{"key":"7_CR47","unstructured":"Sevenster, M.: Branches of Imperfect Information: Logic, Games, and Computation. Ph.D. thesis, University of Amsterdam (2006)"},{"key":"7_CR48","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1016\/j.apal.2009.07.019","volume":"161","author":"M Sevenster","year":"2010","unstructured":"Sevenster, M., Sandu, G.: Equilibrium semantics of languages of imperfect information. Ann. Pure Appl. Log. 161, 618\u2013631 (2010)","journal-title":"Ann. Pure Appl. Log."},{"key":"7_CR49","volume-title":"Mathematical Logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"key":"7_CR50","doi-asserted-by":"publisher","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.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, Cambridge (2007)"},{"key":"7_CR51","unstructured":"Velica, S., Sandu, G.: Monty Hall: a game-theoretical solution. In: Ba\u015fkent, C., Moss, L., Ramanujam, R. (eds.) Rohit Parikh on Logic, Language and Society, Springer"},{"key":"7_CR52","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01448847","volume":"100","author":"J Neumann von","year":"1928","unstructured":"von Neumann, J.: Zur Theorie der Gesellschaftsspiele. Mathematische Annalen 100, 295\u2013320 (1928)","journal-title":"Mathematische Annalen"},{"key":"7_CR53","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2307\/2271440","volume":"35","author":"W Walkoe","year":"1970","unstructured":"Walkoe, W.: Finite partially-ordered quantification. J. Symb. Log. 35, 535\u2013555 (1970)","journal-title":"J. Symb. Log."},{"key":"7_CR54","first-page":"501","volume-title":"Proceedings of the Fifth International Congress of Mathematicians, II","author":"E Zermelo","year":"1913","unstructured":"Zermelo, E.: \u00dcber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels. In: Love, A.E.H. (ed.) Proceedings of the Fifth International Congress of Mathematicians, II, pp. 501\u2013504. Cambridge University Press, Cambridge (1913)"}],"container-title":["Lecture Notes in Computer Science","Models of Strategic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48540-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:43:02Z","timestamp":1748745782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48540-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485392","9783662485408"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48540-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}