{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:02:37Z","timestamp":1765123357424,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031712906"},{"type":"electronic","value":"9783031712913"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71291-3_24","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:02:00Z","timestamp":1725804120000},"page":"300-315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Playing Games with\u00a0Diagrams: Truth Diagrams and\u00a0Game Semantics"],"prefix":"10.1007","author":[{"given":"Can","family":"Ba\u015fkent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"24_CR1","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-58622-4_1","volume-title":"Computational Logic","author":"S Abramsky","year":"1999","unstructured":"Abramsky, S., McCusker, G.: Game semantics. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic. NATO ASI Series, vol. 165, pp. 1\u201355. Springer, Cham (1999). https:\/\/doi.org\/10.1007\/978-3-642-58622-4_1"},{"issue":"3","key":"24_CR2","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1080\/11663081.2016.1225488","volume":"26","author":"C Ba\u015fkent","year":"2016","unstructured":"Ba\u015fkent, C.: Game theoretical semantics for some non-classical logics. J. Appl. Non-Classical Logics 26(3), 208\u201339 (2016). https:\/\/doi.org\/10.1080\/11663081.2016.1225488","journal-title":"J. Appl. Non-Classical Logics"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Ba\u015fkent, C.: A game theoretical semantics for a logic of nonsense. In: Raskin, J.F., Bresolin, D. (eds.) Proceedings of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020). Electronic Proceedings in Theoretical Computer Science, vol.\u00a0326, pp. 66\u201381 (2020)","DOI":"10.4204\/EPTCS.326.0"},{"key":"24_CR4","unstructured":"Ba\u015fkent, C.: Truth diagrams for some non-classical and modal logics. J. Appl. Non-Classical Logics (to appear)"},{"issue":"5","key":"24_CR5","doi-asserted-by":"publisher","first-page":"936","DOI":"10.1093\/jigpal\/jzy068","volume":"28","author":"C Ba\u015fkent","year":"2020","unstructured":"Ba\u015fkent, C., Henrique Carrasqueira, P.: A game theoretical semantics for a logic of formal inconsistency. Logic J. IGPL 28(5), 936\u2013952 (2020). https:\/\/doi.org\/10.1093\/jigpal\/jzy068","journal-title":"Logic J. IGPL"},{"key":"24_CR6","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"J van Benthem","year":"2014","unstructured":"van Benthem, J.: Logic in Games. MIT Press, Cambridge (2014)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10849-019-09299-y","volume":"29","author":"PCH Cheng","year":"2020","unstructured":"Cheng, P.C.H.: Truth diagrams versus extant notations for propositional logic. J. Logic Lang. Inform. 29, 121\u2013161 (2020)","journal-title":"J. Logic Lang. Inform."},{"issue":"5","key":"24_CR8","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/logcom\/exz009","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., Ferguson, T.M., Szmuc, D.: Logics based on linear orders of contaminating values. J. Log. Comput. 29(5), 631\u2013663 (2019). https:\/\/doi.org\/10.1093\/logcom\/exz009","journal-title":"J. Log. Comput."},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10992-014-9321-y","volume":"44","author":"TM Ferguson","year":"2015","unstructured":"Ferguson, T.M.: Logics of nonsense and parry systems. J. Philos. Log. 44(1), 65\u201380 (2015). https:\/\/doi.org\/10.1007\/s10992-014-9321-y","journal-title":"J. Philos. Log."},{"key":"24_CR10","unstructured":"Ferm\u00fcller, C.G.: Semantic games for fuzzy logics. In: Cintula, P., Ferm\u00fcller, C.G., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic, vol.\u00a03, pp. 969\u20131029. College Publications (2016)"},{"key":"24_CR11","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-319-62864-6_10","volume-title":"Jaakko Hintikka on Knowledge and Game-Theoretical Semantics","author":"CG Ferm\u00fcller","year":"2018","unstructured":"Ferm\u00fcller, C.G., Majer, O.: On semantic games for \u0141ukasiewicz logic. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 263\u2013278. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62864-6_10"},{"key":"24_CR12","doi-asserted-by":"publisher","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 (1997). https:\/\/doi.org\/10.1016\/B978-044481714-3\/50009-6","DOI":"10.1016\/B978-044481714-3\/50009-6"},{"key":"24_CR13","unstructured":"Hodges, W.: Logic and games. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (2013). http:\/\/plato.stanford.edu\/archives\/spr2009\/entries\/logic-games"},{"key":"24_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"P Lorenzen","year":"1955","unstructured":"Lorenzen, P.: Einf\u00fchrung in die operative Logik und Mathematik. Springer, Cham (1955)"},{"key":"24_CR15","unstructured":"Lorenzen, P., Lorenz, K.: Dialogische Logik. WBG (1978)"},{"key":"24_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198704751.001.0001","volume-title":"Realizing Reason","author":"D Macbeth","year":"2014","unstructured":"Macbeth, D.: Realizing Reason. Oxford University Press, Oxford (2014)"},{"key":"24_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511981418","volume-title":"Independence-Friendly Logic","author":"AL Mann","year":"2011","unstructured":"Mann, A.L., Sandu, G., Sevenster, M.: Independence-Friendly Logic. Cambridge University Press, Cambridge (2011)"},{"key":"24_CR18","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":"24_CR19","unstructured":"Parikh, R.: D structures and their semantics. In: Gerbrandy, J., Marx, M., de\u00a0Rijke, M., Venema, Y. (eds.) JFAK, ILLC, UvA (1999). http:\/\/www.illc.uva.nl\/j50\/"},{"issue":"2","key":"24_CR20","first-page":"143","volume":"4","author":"A Pietarinen","year":"2000","unstructured":"Pietarinen, A., Sandu, G.: Games in philosophical logic. Nord. J. Philos. Log. 4(2), 143\u2013173 (2000)","journal-title":"Nord. J. Philos. Log."},{"key":"24_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introdiction to Non-Classical Logic","author":"G Priest","year":"2008","unstructured":"Priest, G.: An Introdiction to Non-Classical Logic. Cambridge University Press, Cambridge (2008)"},{"key":"24_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic. Cambridge University Press, Cambridge (2007)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71291-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T13:04:39Z","timestamp":1731071079000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71291-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031712906","9783031712913"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71291-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"M\u00fcnster","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/diagrams-2024.diagrams-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}