{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T09:24:36Z","timestamp":1648632276929},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T00:00:00Z","timestamp":1299283200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s11229-011-9897-5","type":"journal-article","created":{"date-parts":[[2011,3,4]],"date-time":"2011-03-04T12:34:11Z","timestamp":1299242051000},"page":"1605-1620","source":"Crossref","is-referenced-by-count":2,"title":["Semantic games with chance moves revisited: from IF logic to partial logic"],"prefix":"10.1007","volume":"190","author":[{"given":"Xuefeng","family":"Wen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shier","family":"Ju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,5]]},"reference":[{"issue":"2","key":"9897_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky S., Jagadeesan R. (1994) Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic 59(2): 543\u2013574","journal-title":"Journal of Symbolic Logic"},{"key":"9897_CR2","unstructured":"Blamey, S. (1980). Partial valued logic. Ph.D thesis. Oxford University."},{"key":"9897_CR3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-94-017-0458-8_5","volume-title":"Handbook of philosophical logic","author":"S. Blamey","year":"2002","unstructured":"Blamey S. (2002) Partial logic. In: Gabbay D. M., Guenthner F. (eds) Handbook of philosophical logic. 2nd edn. Springer, Heidelberg, pp 261\u2013353","edition":"2"},{"issue":"3","key":"9897_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF01063991","volume":"99","author":"A. Blinov","year":"1994","unstructured":"Blinov A. (1994) Semantic games with chance moves. Synthese 99(3): 311\u2013327","journal-title":"Synthese"},{"issue":"1","key":"9897_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1006\/game.1999.0812","volume":"36","author":"G. Bonanno","year":"2001","unstructured":"Bonanno G. (2001) Branching time logic, perfect information games and backward induction. Games and Economic Behavior 36(1): 57\u201373","journal-title":"Games and Economic Behavior"},{"issue":"3","key":"9897_CR6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1287\/mnsc.14.3.159","volume":"14","author":"J. C. Harsanyi","year":"1967","unstructured":"Harsanyi J. C. (1967) Games with incomplete information played by \u2018Bayesian\u2019 players. Management Science 14(3): 159\u2013182","journal-title":"Management Science"},{"key":"9897_CR7","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 University Press, Cambridge"},{"key":"9897_CR8","doi-asserted-by":"crossref","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. (1997) Game-theoretic semantics. In: van Benthem J., ter Meulen A. (eds) Handbook of logic and language. Elsevier, Amsterdam, pp 361\u2013410"},{"issue":"4","key":"9897_CR9","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(4): 539\u2013563","journal-title":"Logic Journal of the IGPL"},{"key":"9897_CR10","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"S. C. Kleene","year":"1938","unstructured":"Kleene S. C. (1938) On a notation for ordinal numbers. Journal of Symbolic Logic 3: 150\u2013155","journal-title":"Journal of Symbolic Logic"},{"key":"9897_CR11","first-page":"111","volume":"24","author":"R. Parikh","year":"1985","unstructured":"Parikh R. (1985) The logic of games and its applications. Annals of Discrete Mathematics 24: 111\u2013140","journal-title":"Annals of Discrete Mathematics"},{"issue":"4","key":"9897_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1305\/ndjfl\/1063372242","volume":"42","author":"A.-V. Pietarinen","year":"2001","unstructured":"Pietarinen A.-V. (2001) Propositional logic of imperfect information: Foundations and applications. Notre Dame Journal of Formal Logic 42(4): 193\u2013210","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9897_CR13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-1-4020-5012-7_16","volume-title":"The age of alternative logics","author":"A.-V. Pietarinen","year":"2006","unstructured":"Pietarinen A.-V. (2006) Independence-friendly logic and games of incomplete information. In: van Benthem J. (eds) The age of alternative logics. Springer, Dordrecht, pp 243\u2013259"},{"key":"9897_CR14","volume-title":"Games and information: An introduction to game theory","author":"E. Rasmusen","year":"2007","unstructured":"Rasmusen E. (2007) Games and information: An introduction to game theory. 4th edn. Wiley, New York","edition":"4"},{"issue":"1","key":"9897_CR15","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(1): 29\u201360","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9897_CR16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1093\/jigpal\/9.1.101","volume":"9","author":"G. Sandu","year":"2001","unstructured":"Sandu G., Pietarinen A.-V. (2001) Partiality and games: Propositional logic. Logic Journal of the IGPL 9(1): 101\u2013121","journal-title":"Logic Journal of the IGPL"},{"key":"9897_CR17","first-page":"23","volume-title":"Logic, language and computation","author":"G. Sandu","year":"2003","unstructured":"Sandu G., Pietarinen A. (2003) Informationally independent connectives. In: Mints G., Muskens R. (eds) Logic, language and computation. Stanford, CSLI, pp 23\u201341"},{"key":"9897_CR18","unstructured":"Tulenheimo, T. (2004). Independence-friendly modal logic. PhD. Thesis, University of Helsinki."},{"issue":"3","key":"9897_CR19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/10.3.339","volume":"10","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2002","unstructured":"V\u00e4\u00e4n\u00e4nen J. (2002) On the semantics of informational independence. Logic Journal of the IGPL 10(3): 339\u2013352","journal-title":"Logic Journal of the IGPL"},{"key":"9897_CR20","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. Cambridge University Press, Cambridge"},{"key":"9897_CR21","volume-title":"Logic in games, electronic lecture notes","author":"J. Benthem van","year":"1999\u20132002","unstructured":"van Benthem J. (1999\u20132002) Logic in games, electronic lecture notes. University of Amsterdam & Department of Philosophy, ILLC"},{"issue":"4","key":"9897_CR22","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J. Benthem van","year":"2001","unstructured":"van Benthem J. (2001) Games in dynamic epistemic logic. Bulletin of Economic Research 53(4): 219\u2013248","journal-title":"Bulletin of Economic Research"},{"key":"9897_CR23","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2004). Probabilistic features in logic games. In J. Symons & D. Kolak (Eds.), Quantifiers, questions and quantum physics (pp. 189\u2013194). Springer.","DOI":"10.1007\/978-1-4020-32110-0_9"},{"key":"9897_CR24","first-page":"229","volume":"1","author":"J. Benthem van","year":"2005","unstructured":"van Benthem J. (2005) Open problems in logic and games. We Will Show Them! 1: 229\u2013264","journal-title":"We Will Show Them!"},{"key":"9897_CR25","unstructured":"van Benthem, J. (2006). The epistemic logic of IF games. In The philosophy of Jaakko Hintikka (pp. 481\u2013513). Chicago: Open Court Publishers."},{"key":"9897_CR26","first-page":"197","volume-title":"New perspectives on games and interaction","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J. (2008) Games that make sense: Logic, language and multi-agent interaction. In: Apt K., van Rooij R. (eds) New perspectives on games and interaction. Amsterdam University Press, Amsterdam, pp 197\u2013209"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9897-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-9897-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9897-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T00:25:52Z","timestamp":1560039952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9897-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,5]]},"references-count":26,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9897"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9897-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,5]]}}}