{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:29:42Z","timestamp":1755599382605},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662602911"},{"type":"electronic","value":"9783662602928"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-60292-8_22","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:09:52Z","timestamp":1570576192000},"page":"297-312","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks"],"prefix":"10.1007","author":[{"given":"Anthia","family":"Solaki","sequence":"first","affiliation":[]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S0140525X00076512","volume":"1","author":"D Premack","year":"1978","unstructured":"Premack, D., Woodruff, G.: Does the chimpanzee have a theory of mind? Behav. Brain Sci. 1(4), 515\u2013526 (1978)","journal-title":"Behav. Brain Sci."},{"key":"22_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511597985","volume-title":"Theories of Theories of Mind","author":"P Carruthers","year":"1996","unstructured":"Carruthers, P., Smith, P.K.: Theories of Theories of Mind. Cambridge University Press, Cambridge (1996)"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0010-0277(83)90004-5","volume":"13","author":"H Wimmer","year":"1983","unstructured":"Wimmer, H., Perner, J.: Beliefs about beliefs: representation and constraining function of wrong beliefs in young children\u2019s understanding of deception. Cognition 13(1), 103\u2013128 (1983)","journal-title":"Cognition"},{"key":"22_CR4","unstructured":"Wellman, H.M.: 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, Cambridge (1991)"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0010-0277(85)90022-8","volume":"21","author":"S Baron-Cohen","year":"1985","unstructured":"Baron-Cohen, S., Leslie, A.M., Frith, U.: Does the autistic child have a \u201ctheory of mind\u201d? Cognition 21(1), 37\u201346 (1985)","journal-title":"Cognition"},{"key":"22_CR6","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)"},{"issue":"47","key":"22_CR7","doi-asserted-by":"publisher","first-page":"13360","DOI":"10.1073\/pnas.1609203113","volume":"113","author":"P Setoh","year":"2016","unstructured":"Setoh, P., Scott, R.M., Baillargeon, R.: Two-and-a-half-year-olds succeed at a traditional false-belief task with reduced processing demands. Proc. Natl. Acad. Sci. 113(47), 13360\u201313365 (2016)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"22_CR8","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"22_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00413506","volume":"89","author":"R Stalnaker","year":"1991","unstructured":"Stalnaker, R.: The problem of logical omniscience, I. Synthese 89(3), 425\u2013440 (1991)","journal-title":"Synthese"},{"key":"22_CR11","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), Evanston, IL, USA, 22\u201324 July 1998, pp. 43\u201356. Morgan Kaufmann (1998)"},{"key":"22_CR12","volume-title":"Grundlagen der Arithmetik","author":"G Frege","year":"1884","unstructured":"Frege, G.: Grundlagen der Arithmetik. Wilhelm Koebner, Breslau (1884)"},{"issue":"1","key":"22_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11225-008-9098-5","volume":"88","author":"FJ Pelletier","year":"2008","unstructured":"Pelletier, F.J., Elio, R., Hanson, P.: Is logic all in our heads? From naturalism to psychologism. Stud. Logica 88(1), 3\u201366 (2008)","journal-title":"Stud. Logica"},{"issue":"6","key":"22_CR14","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10992-009-9115-9","volume":"38","author":"R Verbrugge","year":"2009","unstructured":"Verbrugge, R.: Logic and social cognition. J. Philos. Logic 38(6), 649\u2013680 (2009)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"22_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-008-9101-1","volume":"88","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J.: Logic and reasoning: do the facts matter? Stud. Logica 88(1), 67\u201384 (2008)","journal-title":"Stud. Logica"},{"key":"22_CR16","series-title":"Synthese Library Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"22_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, New York (2011)"},{"key":"22_CR18","series-title":"Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science)","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-94-007-0074-1_3","volume-title":"Dynamic Formal Epistemology","author":"A Yap","year":"2011","unstructured":"Yap, A.: Dynamic epistemic logic and temporal modality. In: Girard, P., Roy, O., Marion, M. (eds.) Dynamic Formal Epistemology. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol. 351, pp. 33\u201350. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/978-94-007-0074-1_3"},{"issue":"2","key":"22_CR19","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J Sack","year":"2008","unstructured":"Sack, J.: Temporal languages for epistemic programs. J. Logic Lang. Inf. 17(2), 183\u2013216 (2008)","journal-title":"J. Logic Lang. Inf."},{"issue":"3","key":"22_CR20","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s11229-015-0773-6","volume":"193","author":"B Renne","year":"2016","unstructured":"Renne, B., Sack, J., Yap, A.: Logics of temporal-epistemic actions. Synthese 193(3), 813\u2013849 (2016)","journal-title":"Synthese"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-662-57669-4_6","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2018","unstructured":"Baltag, A., \u00d6zg\u00fcn, A., Vargas Sandoval, A.L.: APAL with memory is better. In: Moss, L.S., de Queiroz, R., Martinez, M. (eds.) WoLLIC 2018. LNCS, vol. 10944, pp. 106\u2013129. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-57669-4_6"},{"issue":"5","key":"22_CR22","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1007\/s10458-015-9306-4","volume":"30","author":"O Gasquet","year":"2016","unstructured":"Gasquet, O., Goranko, V., Schwarzentruber, F.: Big brother logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. 30(5), 793\u2013825 (2016)","journal-title":"Auton. Agents Multi Agent Syst."},{"key":"22_CR23","unstructured":"Charrier, T., Herzig, A., Lorini, E., Maffre, F., Schwarzentruber, F.: Building epistemic logic from observations and public announcements. In: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, pp. 268\u2013277. AAAI Press (2016)"},{"issue":"1\u20132","key":"22_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"22_CR25","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0004-3702(99)00081-8","volume":"116","author":"S Ben-David","year":"2000","unstructured":"Ben-David, S., Ben-Eliyahu-Zohary, R.: A modal logic for subjective default reasoning. Artif. Intell. 116(1\u20132), 217\u2013236 (2000)","journal-title":"Artif. Intell."},{"key":"22_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge University Press, Cambridge (2001)"},{"key":"22_CR27","unstructured":"Kamp, H.: Tense logic and the theory of linear order. Ph.D. thesis, University of California (1968)"},{"issue":"4","key":"22_CR28","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"JP Burgess","year":"1982","unstructured":"Burgess, J.P.: Axioms for tense logic. I. \u201csince\u201d and \u201cuntil\u201d. Notre Dame J. Formal Logic 23(4), 367\u2013374 (1982)","journal-title":"Notre Dame J. Formal Logic"},{"key":"22_CR29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"4","key":"22_CR30","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/A:1008223921944","volume":"6","author":"N Kurtonina","year":"1997","unstructured":"Kurtonina, N., De Rijke, M.: Bisimulations for temporal logic. J. Logic Lang. Inf. 6(4), 403\u2013425 (1997)","journal-title":"J. Logic Lang. Inf."},{"key":"22_CR31","volume-title":"Knowledge in Flux. Modelling the Dynamics of Epistemic States","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux. Modelling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"issue":"4","key":"22_CR32","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10849-014-9206-z","volume":"23","author":"T Bra\u00fcner","year":"2014","unstructured":"Bra\u00fcner, T.: Hybrid-logical reasoning in the smarties and Sally-Anne tasks. J. Logic Lang. Inf. 23(4), 415\u2013439 (2014)","journal-title":"J. Logic Lang. Inf."},{"key":"22_CR33","unstructured":"Bra\u00fcner, T.: Hybrid-logical reasoning in the smarties and Sally-Anne 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 (2015)"},{"key":"22_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-662-52921-8_9","volume-title":"Logic, Language, Information, and Computation","author":"T Bra\u00fcner","year":"2016","unstructured":"Bra\u00fcner, T., Blackburn, P., Polyanskaya, I.: Second-order false-belief tasks: analysis and formalization. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 125\u2013144. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_9"},{"key":"22_CR35","volume-title":"Thinking, Fast and Slow","author":"D Kahneman","year":"2011","unstructured":"Kahneman, D.: Thinking, Fast and Slow. Farrar, Straus and Giroux, New York (2011)"},{"key":"22_CR36","first-page":"151","volume-title":"The Routledge International Handbook of Thinking and Reasoning","author":"J Evans","year":"2018","unstructured":"Evans, J.: Dual process theories. In: Ball, L., Thompson, V. (eds.) The Routledge International Handbook of Thinking and Reasoning, pp. 151\u2013164. Routledge, London (2018)"},{"issue":"5","key":"22_CR37","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1017\/S0140525X00003435","volume":"23","author":"KE Stanovich","year":"2000","unstructured":"Stanovich, K.E., West, R.F.: Individual differences in reasoning: implications for the rationality debate? Behav. Brain Sci. 23(5), 645\u2013665 (2000)","journal-title":"Behav. Brain Sci."},{"key":"22_CR38","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0140525X01003922","volume":"24","author":"N Cowan","year":"2001","unstructured":"Cowan, N.: The magical number 4 in short-term memory: a reconsideration of mental storage capacity. Behav. Brain Sci. 24, 87\u2013114 (2001)","journal-title":"Behav. Brain Sci."},{"issue":"4","key":"22_CR39","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s10849-008-9064-7","volume":"17","author":"L Flobbe","year":"2008","unstructured":"Flobbe, L., Verbrugge, R., Hendriks, P., Kr\u00e4mer, I.: Children\u2019s application of theory of mind in reasoning and language. J. Logic Lang. Inf. 17(4), 417\u2013442 (2008)","journal-title":"J. Logic Lang. Inf."},{"issue":"3","key":"22_CR40","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-0965(85)90051-7","volume":"39","author":"J Perner","year":"1985","unstructured":"Perner, J., Wimmer, H.: \u201cJohn Thinks that Mary Thinks that...\u201d attribution of second-order beliefs by 5- to 10-year-old children. J. Exp. Child Psychol. 39(3), 437\u2013471 (1985)","journal-title":"J. Exp. Child Psychol."},{"key":"22_CR41","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1037\/0012-1649.30.3.395","volume":"30","author":"K Sullivan","year":"1994","unstructured":"Sullivan, K., Zaitchik, D., Tager-Flusberg, H.: Preschoolers can attribute second-order beliefs. Dev. Psychol. 30, 395\u2013402 (1994)","journal-title":"Dev. Psychol."},{"issue":"3","key":"22_CR42","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s11229-012-0169-9","volume":"191","author":"B Hollebrandse","year":"2014","unstructured":"Hollebrandse, B., van Hout, A., Hendriks, P.: Children\u2019s first and second-order false-belief reasoning in a verbal and a low-verbal task. Synthese 191(3), 321\u2013333 (2014)","journal-title":"Synthese"},{"issue":"2","key":"22_CR43","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11229-006-9144-7","volume":"155","author":"HV Ditmarsch","year":"2007","unstructured":"Ditmarsch, H.V., Labuschagne, W.: My beliefs about your beliefs: a case study in theory of mind and epistemic logic. Synthese 155(2), 191\u2013209 (2007)","journal-title":"Synthese"},{"key":"22_CR44","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-62864-6_8","volume-title":"Jaakko Hintikka on Knowledge and Game-Theoretical Semantics","author":"T Bolander","year":"2018","unstructured":"Bolander, T.: Seeing is believing: formalising false-belief tasks in dynamic epistemic logic. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 207\u2013236. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62864-6_8"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T19:09:17Z","timestamp":1721848157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}