{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:28Z","timestamp":1750309588745,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T00:00:00Z","timestamp":1744675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,4,15]]},"DOI":"10.1145\/3723498.3723848","type":"proceedings-article","created":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T12:04:41Z","timestamp":1746792281000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LogiCraft: A Game Modification Framework for Learning Propositional Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4913-4176","authenticated-orcid":false,"given":"Tamara","family":"Dobler","sequence":"first","affiliation":[{"name":"Department of Philosophy, Vrije Universiteit Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6570-8275","authenticated-orcid":false,"given":"Lorenzo","family":"Galeotti","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3834-682X","authenticated-orcid":false,"given":"Riemer","family":"van Rozen","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,9]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21350-2"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21350-2_5"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3337722.3342238"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21350-2_7"},{"key":"e_1_3_3_2_6_2","unstructured":"Raghava Garipelly P\u00a0Madhu Kiran and A\u00a0Santhosh Kumar. 2013. A review on reversible logic gates and their implementation. International Journal of Emerging Technology and Advanced Engineering 3 3 (2013)."},{"key":"e_1_3_3_2_7_2","series-title":"LNCSe","volume-title":"Tools for Teaching Logic - Third International Congress, TICTTL 2011","author":"Gin\u00e9s Ar\u00e1nzazu\u00a0San","year":"2011","unstructured":"Ar\u00e1nzazu\u00a0San Gin\u00e9s. 2011. Visual Tools for Teaching Propositional Logic. In Tools for Teaching Logic - Third International Congress, TICTTL 2011(LNCSe, Vol.\u00a06680), Patrick Blackburn, Hans van Ditmarsch, Mar\u00eda Manzano, and Fernando Soler-Toscano (Eds.). Springer."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781108954464"},{"key":"e_1_3_3_2_9_2","unstructured":"Natasa Grgurina et\u00a0al. 2024. Conceptkerndoelen Leergebied Digitale Geletterdheid. SLO Amersfoort (March 2024)."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3459990.3460706"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Alan\u00a0R. Hevner et\u00a0al. 2004. Design Science in Information Systems Research. MIS Quarterly 28 1 (March 2004).","DOI":"10.2307\/25148625"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"Daniel\u00a0J. Hicks and John Milanese. 2015. The Logic Game: A Two-Player Game of Propositional Logic. Teaching Philosophy 38 1 (2015).","DOI":"10.5840\/teachphil20151731"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Yasmin\u00a0B Kafai. 2006. Playing and making games for learning: Instructionist and constructionist perspectives for game studies. Games and culture 1 1 (2006).","DOI":"10.1177\/1555412005281767"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Yasmin\u00a0B Kafai and Quinn Burke. 2015. Constructionist Gaming: Understanding the Benefits of Making Games for Learning. Educational psychologist 50 4 (2015).","DOI":"10.1080\/00461520.2015.1124022"},{"key":"e_1_3_3_2_15_2","unstructured":"Reinhard Kahle and Wilfried Keller. 2015. Syntax versus Semantics. CoRR abs\/1507.04678 (2015). arXiv:https:\/\/arXiv.org\/abs\/1507.04678"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Ken Kahn and Niall Winters. 2021. Learning by enhancing half-baked AI projects. KI-K\u00fcnstliche Intelligenz 35 2 (2021).","DOI":"10.1007\/s13218-021-00732-8"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Chronis Kynigos and Nikoleta Yiannoutsou. 2018. Children Challenging the Design of Half-Baked Games: Expressing Values through the Process of Game Modding. Int. J. Child Comput. Interact. 17 (2018).","DOI":"10.1016\/j.ijcci.2018.04.001"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Benjam\u00edn Maraza-Quispe Ashtin\u00a0Maurice Sotelo-Jump et\u00a0al. 2021. Towards the Development of Computational Thinking and Mathematical Logic through Scratch. International Journal of Advanced Computer Science and Applications 12 2 (2021).","DOI":"10.14569\/IJACSA.2021.0120242"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","unstructured":"Mar\u00eda\u00a0Florencia Morado Ayel\u00e9n\u00a0Eva Melo and Angela Jarman. 2021. Learning by Making: A Framework to Revisit Practices in a Constructionist Learning Environment. Br. J. Educ. Technol. 52 3 (2021).","DOI":"10.1111\/bjet.13083"},{"key":"e_1_3_3_2_20_2","volume-title":"Onderwijs meets Onderzoek","author":"Palha S\u00a0Abrantes\u00a0Garc\u00eaz","year":"2022","unstructured":"S\u00a0Abrantes\u00a0Garc\u00eaz Palha, E Akin, AJ Bouwer, D van Smaalen, and SG Claassen. 2022. Game-based learning in mathematics: The GAMMA project. In Onderwijs meets Onderzoek."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3582437.3587182"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Jan\u00a0L Plass Bruce\u00a0D Homer and Charles\u00a0K Kinzer. 2015. Foundations of game-based learning. Educational psychologist 50 4 (2015).","DOI":"10.1080\/00461520.2015.1122533"},{"key":"e_1_3_3_2_23_2","volume-title":"Handbook of Game-Based Learning","author":"Plass Jan\u00a0L.","year":"2020","unstructured":"Jan\u00a0L. Plass, Richard\u00a0E. Mayer, and Bruce\u00a0D. Homer. 2020. Handbook of Game-Based Learning. Mit Press."},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Elizabeth B-N Sanders and Pieter\u00a0Jan Stappers. 2008. Co-creation and the New Landscapes of Design. Co-design 4 1 (2008).","DOI":"10.1080\/15710880701875068"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1201\/9780080919171"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Baruch\u00a0B. Schwarz Osama Swidan Naomi Prusak and Alik Palatnik. 2021. Collaborative learning in mathematics classrooms: Can teachers understand progress of concurrent collaborating groups? Comput. Educ. 165 (2021).","DOI":"10.1016\/j.compedu.2021.104151"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3402942.3409616"},{"key":"e_1_3_3_2_28_2","volume-title":"Logic for philosophy","author":"Sider Theodore","year":"2010","unstructured":"Theodore Sider. 2010. Logic for philosophy. Oxford University Press, USA."},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50230-4_18"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","unstructured":"Olga\u00a0De Troyer Renny S.\u00a0N. Lindberg and Pejman Sajjadi. 2019. TrueBiters An Educational Game to Practice the Truth Tables of Propositional Logic: Development Evaluation and Lessons Learned. Smart Learn. Environ. 6 1 (2019) 27.","DOI":"10.1186\/s40561-019-0105-2"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3582437.3587185"},{"key":"e_1_3_3_2_32_2","unstructured":"Paul Verstraten Annikka Lemmens and Marielle Non. December 2022. A Look at the Dutch Position in International Student Assessments. CPB PUBLICATION (December 2022)."},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3659854"},{"key":"e_1_3_3_2_34_2","unstructured":"Joke Voogt and Natalie\u00a0Pareja Roblin. 2010. 21st century skills discussion paper. University of Twente 10 (2010)."},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Jui-Feng Weng Shian-Shyong Tseng and Tsung-Ju Lee. 2010. Teaching Boolean Logic through Game Rule Tuning. IEEE Transactions on Learning Technologies 3 4 (2010).","DOI":"10.1109\/TLT.2010.33"}],"event":{"name":"FDG '25: International Conference on the Foundations of Digital Games","acronym":"FDG '25","location":"Vienna & Graz Austria"},"container-title":["Proceedings of the 20th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723498.3723848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:46Z","timestamp":1750298206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,15]]},"references-count":34,"alternative-id":["10.1145\/3723498.3723848","10.1145\/3723498"],"URL":"https:\/\/doi.org\/10.1145\/3723498.3723848","relation":{},"subject":[],"published":{"date-parts":[[2025,4,15]]},"assertion":[{"value":"2025-05-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}