{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:08:29Z","timestamp":1725872909260},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"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":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_14","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T08:43:15Z","timestamp":1480668195000},"page":"183-197","source":"Crossref","is-referenced-by-count":0,"title":["On Semantic Gamification"],"prefix":"10.1007","author":[{"given":"Ignacio Ojea","family":"Quintana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"14_CR1","series-title":"Logic, Epistemology, and the Unity of Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-1-4020-9374-6_6","volume-title":"Games: Unifying Logic, Language, and Philosophy","author":"P Cintula","year":"2009","unstructured":"Cintula, P., Majer, O.: Towards evaluation games for fuzzy logics. In: Majer, O., Pietarinen, A.V., Tulenheimo, T. (eds.) Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, vol. 15, pp. 117\u2013138. Springer, Dordrecht (2009)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s11225-008-9143-4","volume":"90","author":"CG Ferm\u00fcller","year":"2008","unstructured":"Ferm\u00fcller, C.G.: Dialogue games for many-valued logics - an overview. Stud. Logica. 90(1), 43\u201368 (2008)","journal-title":"Stud. Logica."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Ferm\u00fcller, C.G.: On matrices, Nmatrices and Games. J. Logic Comput. (2013)","DOI":"10.1093\/logcom\/ext024"},{"key":"14_CR4","series-title":"Handbook of Philosophical Logic","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-0452-6_5","volume-title":"Handbook of Philosophical Logic","author":"R H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol. 2, pp. 297\u2013395. Springer, Dordrecht (2001)"},{"key":"14_CR5","volume-title":"Logic, Language Games, and Information","author":"J Hintikka","year":"1973","unstructured":"Hintikka, J.: Logic, Language Games, and Information. Clarendon Press, Oxford (1973)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Hintikka, J., Sandu, G.: Game-Theoretical Semantics (1997)","DOI":"10.1016\/B978-044481714-3\/50009-6"},{"issue":"4","key":"14_CR7","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S.C.: On notation for ordinal numbers. J. Symbolic Logic 3(4), 150\u2013155 (1938)","journal-title":"J. Symbolic Logic"},{"key":"14_CR8","volume-title":"Introduction to Metamathematics: Bibliotheca Mathematica","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics: Bibliotheca Mathematica. Wolters-Noordhoff, Groningen (1952)"},{"key":"14_CR9","volume-title":"Selected Works: Studies in Logic and the Foundations of Mathematics","author":"J \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J., Borkowski, L.: Selected Works: Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam (1970)"},{"key":"14_CR10","volume-title":"Microeconomic Theory","author":"A Mas-Colell","year":"1995","unstructured":"Mas-Colell, A., Whinston, M.D., Green, J.R.: Microeconomic Theory. Oxford University Press, Oxford (1995)"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/FI-1993-182-405","volume":"18","author":"D Mundici","year":"1993","unstructured":"Mundici, D.: Ulam\u2019s games, \u0141ucasiewicz logic, and AFC*-algebras. Fundamenta Informaticae 18, 151 (1993)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR12","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT press, Cambridge (1994)"},{"key":"14_CR13","first-page":"A329","volume":"19","author":"R Parikh","year":"1972","unstructured":"Parikh, R.: D-structures and their semantics. Not. AMS 19, A329 (1972)","journal-title":"Not. AMS"},{"key":"14_CR14","first-page":"111","volume":"102","author":"R Parikh","year":"1985","unstructured":"Parikh, R.: The logic of games and its applications. Ann. Discrete Math. 102, 111\u2013140 (1985)","journal-title":"Ann. Discrete Math."},{"issue":"3","key":"14_CR15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"EL Post","year":"1921","unstructured":"Post, E.L.: Introduction to a general theory of elementary propositions. Am. J. Math. 43(3), 163\u2013185 (1921)","journal-title":"Am. J. Math."},{"key":"14_CR16","series-title":"Handbook of Philosophical Logic","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2001","unstructured":"Urquhart, A.: Basic many-valued logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol. 2, pp. 249\u2013295. Springer, Dordrecth (2001)"},{"key":"14_CR17","first-page":"183","volume":"75","author":"J Benthem van","year":"2003","unstructured":"van Benthem, J.: Logic games are complete for game logics. Studia Logica. Int. J. Symbolic Logic 75, 183\u2013203 (2003)","journal-title":"Studia Logica. Int. J. Symbolic Logic"},{"key":"14_CR18","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.: Logic in Games. MIT Press, Cambridge (2014)"},{"key":"14_CR19","unstructured":"van Fraassen, B.C.: Presuppositions: supervaluations and free logic. In: Lambert, K. (ed.) The Logical Way of doing Things, pp. 67\u201392. Yale University Press (1969)"},{"issue":"17","key":"14_CR20","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","volume":"63","author":"BC Fraassen van","year":"1966","unstructured":"van Fraassen, B.C.: Singular terms, truth-value gaps, and free logic. J. Philos. 63(17), 481\u2013495 (1966)","journal-title":"J. Philos."}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,16]],"date-time":"2022-07-16T01:16:39Z","timestamp":1657934199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}