{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:12:42Z","timestamp":1762297962557},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,9]],"date-time":"2013-03-09T00:00:00Z","timestamp":1362787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s11225-013-9475-6","type":"journal-article","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T04:19:01Z","timestamp":1362716341000},"page":"293-322","source":"Crossref","is-referenced-by-count":6,"title":["Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information"],"prefix":"10.1007","volume":"101","author":[{"given":"Pietro","family":"Galliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allen L.","family":"Mann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,9]]},"reference":[{"key":"9475_CR1","doi-asserted-by":"crossref","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. Annals of Pure and Applied Logic 32, 1\u201316 (1986)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9475_CR2","doi-asserted-by":"crossref","unstructured":"Cintula, P., and O. Majer, Towards evaluation games for fuzzy logics, in O. Majer, A.-V. Pietarinen, and T. Tulenheimo, (eds.), Games: Unifying Logic, Language, and Philosophy, vol. 15 of Logic, Epistemology, and the Unity of Science, Springer, 2009, pp. 117\u2013138.","DOI":"10.1007\/978-1-4020-9374-6_6"},{"key":"9475_CR3","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"H.B. 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"},{"key":"9475_CR4","doi-asserted-by":"crossref","unstructured":"Gale, D., and F.M. Stewart, Infinite games with perfect information, in H.W. Kuhn, and A.W. Tucker, (eds.), Contributions to the Theory of Games, vol. 2, Princeton University Press, Princeton, 1953, pp. 245\u2013266.","DOI":"10.1515\/9781400881970-014"},{"key":"9475_CR5","unstructured":"Galliani, P., Game Values and Equilibria for Undetermined Sentences of Dependence Logic, MSc thesis, ILLC Publications, MoL-2008-08, 2008."},{"key":"9475_CR6","unstructured":"Henkin, L., Some remarks on infinitely long formulas, in Infinitistic Methods. Proc. Symposium on Foundations of Mathematics, Pergamon Press, Oxford, 1961, pp. 167\u2013183."},{"key":"9475_CR7","unstructured":"Hintikka, J., Language-games for quantifiers, in Studies in Logical Theory, vol. 2 of American Philosophical Quarterly Monograph Series, Basil Blackwell, Oxford, 1968, pp. 46\u201372."},{"key":"9475_CR8","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1111\/j.1746-8361.1973.tb00624.x","volume":"27","author":"J. Hintikka","year":"1973","unstructured":"Hintikka J.: Quantifiers vs. quantification theory. Dialectica 27, 329\u2013358 (1973)","journal-title":"Dialectica"},{"key":"9475_CR9","doi-asserted-by":"crossref","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":"9475_CR10","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and J. Kulas, The Game of Language: Studies in Game-Theoretical Semantics and Its Applications, D. Reidel Publishing Company, Dordrecht, 1983.","DOI":"10.1007\/978-94-010-9847-2_6"},{"key":"9475_CR11","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and G. Sandu, Informational independence as a semantic phenomenon, in J. E. Fenstad, I. T. Frolov, and R. Hilpinen, (eds.), Logic, Methodology and Philosophy of Science VIII, Elsevier, Amsterdam, 1989, pp. 571\u2013589.","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"9475_CR12","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and G. Sandu, Game-theoretical semantics, in J. van Bethem, and A. ter Meulen, (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997, pp. 361\u2013410.","DOI":"10.1016\/B978-044481714-3\/50009-6"},{"key":"9475_CR13","doi-asserted-by":"crossref","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. Logic Journal of IGPL 5, 539\u2013563 (1997)","journal-title":"Logic Journal of IGPL"},{"key":"9475_CR14","unstructured":"Hodges, W., Some strange quantifiers, in J. Mycielski, G. Rozenberg, and A. Salomaa, (eds.), Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht, no. 1261 in Lecture Notes in Computer Science, Springer, 1997, pp. 51\u201365."},{"key":"9475_CR15","doi-asserted-by":"crossref","unstructured":"Kuhn, H.W., Extensive games and the problem of information, in Contributions to the Theory of Games III, Princeton University Press, Princeton, 1953, pp. 193\u2013216.","DOI":"10.1515\/9781400881970-012"},{"key":"9475_CR16","doi-asserted-by":"crossref","unstructured":"Mann, A.L., G. Sandu, and M. Sevenster, Independence-Friendly Logic: A Game- Theoretic Approach, no. 386 in London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 2011.","DOI":"10.1017\/CBO9780511981418"},{"key":"9475_CR17","unstructured":"Peirce, C.S., Reasoning and the Logic of Things: The Cambridge Conferences Lectures of 1898, Harvard Historical Studies, Harvard University Press, Cambridge, Massachusetts, 1992."},{"key":"9475_CR18","unstructured":"Sevenster, M., Branches of Imperfect Information: Logic, Games, and Computation, Ph.D. thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 2006."},{"key":"9475_CR19","doi-asserted-by":"crossref","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. Annals of Pure and Applied Logic, 161, 618\u2013631 (2010)","journal-title":"Annals of Pure and Applied Logic,"},{"key":"9475_CR20","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J., Dependence Logic: A New Approach to Independence Friendly Logic, no. 70 in London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2007.","DOI":"10.1017\/CBO9780511611193"},{"key":"9475_CR21","doi-asserted-by":"crossref","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":"9475_CR22","doi-asserted-by":"crossref","unstructured":"Walkoe, W.J., Jr., Finite partially-ordered quantification, Journal of Symbolic Logic 35:535\u2013555, 1970.","DOI":"10.2307\/2271440"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9475-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9475-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9475-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T16:47:05Z","timestamp":1562777225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9475-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,9]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["9475"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9475-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,9]]}}}