{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T11:16:56Z","timestamp":1762255016040,"version":"3.44.0"},"reference-count":85,"publisher":"Informa UK Limited","issue":"3","funder":[{"DOI":"10.13039\/501100003246","name":"NWO\u00a0","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2025,7,3]]},"DOI":"10.1080\/11663081.2024.2441634","type":"journal-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T01:15:22Z","timestamp":1735866922000},"page":"266-316","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["A logical formalisation of false belief tasks"],"prefix":"10.1080","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4404-1395","authenticated-orcid":false,"given":"Anthia","family":"Solaki","sequence":"first","affiliation":[{"name":"University of Amsterdam","place":["Amsterdam, Netherlands"]},{"name":"Netherlands Organization for Applied Scientific Research (TNO)","place":["The Hague, Netherlands"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[{"name":"University of Bergen","place":["Bergen, Norway"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2025,1,2]]},"reference":[{"key":"e_1_3_4_2_1","unstructured":"Albore A. Alechina N. Bertoli P. Ghidini C. Logan B. & Serafini L. (2006). Model-checking memory requirements of resource-bounded reasoners. In Y. Gil & R. J. Mooney (Eds.) Proceedings The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference July 16\u201320 2006 Boston Massachusetts USA (pp. 213\u2013218). AAAI Press. http:\/\/www.aaai.org\/Library\/AAAI\/2006\/aaai06-034.php."},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05301-6_1"},{"key":"e_1_3_4_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-009-9557-1"},{"key":"e_1_3_4_5_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9280.2006.01791.x"},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv020"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.3389\/fpsyg.2017.00275"},{"key":"e_1_3_4_8_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.379.7"},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx034"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzs052"},{"key":"e_1_3_4_11_1","unstructured":"Baltag A. (2016). To know is to know the value of a variable. In L. D. Beklemishev S. Demri & A. Mat\u00e9 (Eds.) Advances in Modal Logic 11 proceedings of the 11th conference on \u2018Advances in Modal Logic \u2019 held in Budapest Hungary August 30\u2013September 2 2016 (pp. 135\u2013155). College Publications. ISBN 978-1-84890-201-5. http:\/\/www.aiml.net\/volumes\/volume11\/Baltag.pdf."},{"key":"e_1_3_4_12_1","unstructured":"Baltag A. Moss L. S. & Solecki S. (1998). The logic of public announcements and common knowledge and private suspicions. In I. Gilboa (Ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98) Evanston IL USA July 22\u201324 1998 (pp. 43\u201356). Morgan Kaufmann."},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-57669-4_6"},{"key":"e_1_3_4_14_1","unstructured":"Baltag A. & Smets S. (2008). A qualitative theory of dynamic interactive belief revision. In Bonanno et\u00a0al.\u00a0(2008) (pp. 13\u201360). ISBN 978-90 8964 026 0. http:\/\/www.vub.ac.be\/CLWF\/SS\/chapter.pdf."},{"key":"e_1_3_4_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(85)90022-8"},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00081-8"},{"key":"e_1_3_4_17_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9280.2007.01909.x"},{"key":"e_1_3_4_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.geb.2003.10.006"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62864-6_8"},{"key":"e_1_3_4_21_1","volume-title":"Logic and the foundations of game and decision theory (LOFT7), volume 3 of texts in logic and games","author":"Bonanno G.","year":"2008","unstructured":"Bonanno, G., van der Hoek, W., & Wooldridge, M. (eds.) (2008). Logic and the foundations of game and decision theory (LOFT7), volume 3 of texts in logic and games. Amsterdam University Press. ISBN 978-90 8964 026 0."},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-014-9206-z"},{"key":"e_1_3_4_23_1","unstructured":"Bra\u00fcner T. (2015). Hybrid-logical reasoning in the smarties and Sally\u2013Anne tasks: What goes wrong when incorrect responses are given? In Proceedings of the 37th Annual Meeting of the Cognitive Science Society Pasadena California USA (pp. 273\u2013278). Cognitive Science Society."},{"key":"e_1_3_4_24_1","unstructured":"Bra\u00fcner T. (2017). Hybrid logic. In E. N. Zalta (Ed.) The Stanford encyclopedia of philosophy (summer 2017 ed.). Metaphysics Research Lab Stanford University."},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_9"},{"key":"e_1_3_4_26_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870149"},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511597985"},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.31234\/osf.io\/7hkzd"},{"key":"e_1_3_4_29_1","unstructured":"Charrier T. Herzig A. Lorini E. Maffre F. & Schwarzentruber F. (2016). Building epistemic logic from observations and public announcements. In Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning KR'16 (pp. 268\u2013277). AAAI Press. http:\/\/dl.acm.org\/citation.cfm?id=3032027.3032060."},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103437"},{"key":"e_1_3_4_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X01003922"},{"key":"e_1_3_4_32_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/224"},{"key":"e_1_3_4_33_1","unstructured":"Evans J. (2018). Dual process theories. In L. Ball & V. Thompson (Eds.) The Routledge International Handbook of Thinking and Reasoning (pp. 151\u201364). Routledge."},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_3_4_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000343"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-008-9064-7"},{"key":"e_1_3_4_37_1","volume-title":"Grundlagen der Arithmetik","author":"Frege G.","year":"1884","unstructured":"Frege, G. (1884). Grundlagen der Arithmetik. Wilhelm Koebner."},{"key":"e_1_3_4_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-015-9306-4"},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008222603071"},{"key":"e_1_3_4_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1338-7"},{"key":"e_1_3_4_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-013-9177-5"},{"key":"e_1_3_4_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/1130386"},{"key":"e_1_3_4_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"e_1_3_4_44_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"e_1_3_4_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-0277(02)00054-9"},{"key":"e_1_3_4_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62864-6_14"},{"key":"e_1_3_4_47_1","volume-title":"Knowledge and belief","author":"Hintikka J.","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Cornell University Press. ISBN 1-904987-08-7."},{"key":"e_1_3_4_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0169-9"},{"key":"e_1_3_4_49_1","volume-title":"Thinking, fast and slow","author":"Kahneman D.","year":"2011","unstructured":"Kahneman, D. (2011). Thinking, fast and slow. Farrar, Straus and Giroux. ISBN 9780374275631 0374275637."},{"key":"e_1_3_4_50_1","unstructured":"Kamp H. (1968). Tense logic and the theory of linear order [PhD thesis University of California]."},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-0277(03)00064-7"},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008223921944"},{"key":"e_1_3_4_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-008-9072-7"},{"key":"e_1_3_4_54_1","volume-title":"A course in game theory","author":"Osborne M. J.","year":"1994","unstructured":"Osborne, M. J., & Rubinstein, A. (1994). A course in game theory. The MIT Press. ISBN 0-262-65040-1."},{"key":"e_1_3_4_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-008-9098-5"},{"key":"e_1_3_4_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0965(85)90051-7"},{"key":"e_1_3_4_57_1","unstructured":"Plaza J. A. (1989). Logics of public communications. In M. L. Emrich M. S. Pfeifer M. Hadzikadic & Z. W. Ras (Eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (pp. 201\u2013216). Oak Ridge National Laboratory ORNL\/DSRD-24."},{"key":"e_1_3_4_58_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00076512"},{"key":"e_1_3_4_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_3_4_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-015-0773-6"},{"key":"e_1_3_4_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-007-9054-1"},{"key":"e_1_3_4_62_1","volume-title":"Psychology","author":"Schacter D.","year":"2011","unstructured":"Schacter, D., Gilbert, D. T., & Wegner, D. M. (2011). Psychology (2nd ed.). Worth. http:\/\/www.amazon.com\/Psychology-Daniel-L-Schacter\/dp\/1429237198\/ref=sr_1_1?s=books&ie=UTF8&qid=1313937150&sr=1-1.","edition":"2"},{"key":"e_1_3_4_63_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1609203113"},{"key":"e_1_3_4_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-60292-8_22"},{"key":"e_1_3_4_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413506"},{"key":"e_1_3_4_66_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001"},{"key":"e_1_3_4_67_1","doi-asserted-by":"publisher","DOI":"10.1037\/0012-1649.30.3.395"},{"key":"e_1_3_4_68_1","doi-asserted-by":"crossref","unstructured":"Top J. D. Jonker C. Verbrugge R. & de Weerd H. (2023). Predictive theory of mind models based on public announcement logic. In International workshop on dynamic logic (pp. 85\u2013103). Springer.","DOI":"10.1007\/978-3-031-51777-8_6"},{"key":"e_1_3_4_69_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780195122657.001.0001"},{"key":"e_1_3_4_70_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"e_1_3_4_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-008-9101-1"},{"key":"e_1_3_4_72_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533"},{"key":"e_1_3_4_73_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx038"},{"key":"e_1_3_4_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"e_1_3_4_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-018-9268-4"},{"key":"e_1_3_4_76_1","unstructured":"van der Hoek W. Troquard N. & Wooldridge M. J. (2011). Knowledge and control. In L. Sonenberg P. Stone K. Tumer & P. Yolum (Eds.) 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) Taipei Taiwan May 2\u20136 2011 (Vol. 1\u20133 pp. 719\u2013726). IFAAMAS. http:\/\/portal.acm.org\/citation.cfm?id=2031720&CFID=54178199&CFTOKEN=61392764."},{"key":"e_1_3_4_77_1","unstructured":"van Ditmarsch H. & Kooi B. (2008). Semantic results for ontic and epistemic change. In Bonanno et\u00a0al.\u00a0(2008) (pp. 87\u2013117). ISBN 978-90 8964 026 0."},{"key":"e_1_3_4_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9144-7"},{"key":"e_1_3_4_79_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"e_1_3_4_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54069-5"},{"key":"e_1_3_4_81_1","volume-title":"The proper treatment of events","author":"van Lambalgen M.","year":"2008","unstructured":"van Lambalgen, M., & Hamm, F. (2008). The proper treatment of events. (Vol. 6). John Wiley & Sons."},{"key":"e_1_3_4_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-009-9115-9"},{"key":"e_1_3_4_83_1","unstructured":"Wellman H. M. (1991). From desires to beliefs: Acquisition of a theory of mind. In Natural theories of mind: Evolution development and simulation of everyday mindreading (pp. 19\u201338). Basil Blackwell. ISBN 0-631-17194-0 (Hardcover)."},{"key":"e_1_3_4_84_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(83)90004-5"},{"key":"e_1_3_4_85_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0074-1_3"},{"key":"e_1_3_4_86_1","unstructured":"Zhao B. (2017). Dynamic epistemic logic models for predicting the cognitive difficulty of the deductive mastermind game [Master's thesis Institute for Logic Language and Computation (ILLC) Universiteit van Amsterdam (UvA) Amsterdam The Netherlands]. https:\/\/eprints.illc.uva.nl\/id\/document\/9584. ILLC Master of Logic Thesis Series MoL-2017-19."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2441634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T08:21:58Z","timestamp":1755505318000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2441634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,2]]},"references-count":85,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,7,3]]}},"alternative-id":["10.1080\/11663081.2024.2441634"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2441634","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2025,1,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2024-02-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-20","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-01-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}