{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:55:07Z","timestamp":1761663307546},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,9,27]],"date-time":"2014-09-27T00:00:00Z","timestamp":1411776000000},"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":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10849-014-9206-z","type":"journal-article","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T15:47:10Z","timestamp":1411746430000},"page":"415-439","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks"],"prefix":"10.1007","volume":"23","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,27]]},"reference":[{"key":"9206_CR1","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S1570-2464(07)80017-6","volume-title":"Handbook of modal logic","author":"C Areces","year":"2007","unstructured":"Areces, C., & ten Cate, B. (2007). Hybrid logics. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of modal logic (pp. 821\u2013868). Amsterdam: Elsevier."},{"key":"9206_CR2","first-page":"17","volume-title":"PRICAI 2008: Trends in artificial intelligence, volume 5351 of lecture notes in computer science","author":"K Arkoudas","year":"2008","unstructured":"Arkoudas, K., & Bringsjord, S. (2008). Toward formalizing common-sense psychology: An analysis of the false-belief task. In T. B. Ho & Z. H. Zhou (Eds.), PRICAI 2008: Trends in artificial intelligence, volume 5351 of lecture notes in computer science (pp. 17\u201329). Berlin: Springer."},{"key":"9206_CR3","first-page":"47","volume":"3","author":"K Arkoudas","year":"2009","unstructured":"Arkoudas, K., & Bringsjord, S. (2009). Propositional attitudes and causation. International Journal of Software and Informatics, 3, 47\u201365.","journal-title":"International Journal of Software and Informatics"},{"key":"9206_CR4","volume-title":"Methods of cut-elimination, volume 34 of trends in logic series","author":"M Baaz","year":"2011","unstructured":"Baaz, M., & Leitsch, A. (2011). Methods of cut-elimination, volume 34 of trends in logic series. Berlin: Springer."},{"key":"9206_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4635.001.0001","volume-title":"Mindblindness: An essay on autism and theory of mind","author":"S Baron-Cohen","year":"1995","unstructured":"Baron-Cohen, S. (1995). Mindblindness: An essay on autism and theory of mind. Cambridge, MA: MIT Press."},{"key":"9206_CR6","doi-asserted-by":"crossref","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. (1985). Does the autistic child have a \u2019theory of mind\u2019? Cognition, 21, 37\u201346.","journal-title":"Cognition"},{"key":"9206_CR7","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"GM Bierman","year":"2000","unstructured":"Bierman, G. M., & de Paiva, V. (2000). On an intuitionistic modal logic. Studia Logica, 65, 383\u2013416.","journal-title":"Studia Logica"},{"key":"9206_CR8","first-page":"147","volume-title":"Logic for programming, artificial intelligence, and reasoning, volume 8312 of lecture notes in computer science","author":"P Blackburn","year":"2013","unstructured":"Blackburn, P., Bra\u00fcner, T., Bolander, T., & J\u00f8rgensen, K. F. (2013). A seligman-style tableau system. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Logic for programming, artificial intelligence, and reasoning, volume 8312 of lecture notes in computer science (pp. 147\u2013163). Berlin: Springer."},{"key":"9206_CR9","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF00247711","volume":"13","author":"G Boolos","year":"1984","unstructured":"Boolos, G. (1984). Don\u2019t eliminate cut. Journal of Philosophical Logic, 13, 373\u2013378.","journal-title":"Journal of Philosophical Logic"},{"key":"9206_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1026187215321","volume":"13","author":"T Bra\u00fcner","year":"2004","unstructured":"Bra\u00fcner, T. (2004). Two natural deduction systems for hybrid logic: A comparison. Journal of Logic, Language and Information, 13, 1\u201323.","journal-title":"Journal of Logic, Language and Information"},{"key":"9206_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid logic and its proof-theory, volume 37 of applied logic series","author":"T Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T. (2011). Hybrid logic and its proof-theory, volume 37 of applied logic series. Berlin: Springer."},{"key":"9206_CR12","unstructured":"Bra\u00fcner, T. (2013). Hybrid-logical reasoning in false-belief tasks. In B.C. Schipper, editor, Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 186\u2013195. ISBN 978-0-615-74716-3, available at http:\/\/tark.org ."},{"key":"9206_CR13","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"M D\u2019Agostino","year":"1994","unstructured":"D\u2019Agostino, M., & Mondadori, M. (1994). The taming of the cut. Classical refutations with analytical cut. Journal of Logic and Computation, 4, 285\u2013319.","journal-title":"Journal of Logic and Computation"},{"key":"9206_CR14","doi-asserted-by":"crossref","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. (2008). Children\u2019s application of theory of mind in reasoning and language. Journal of Logic, Language and Information, 17, 417\u2013442.","journal-title":"Journal of Logic, Language and Information"},{"key":"9206_CR15","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/S1364-6613(98)01262-5","volume":"2","author":"V Gallese","year":"1998","unstructured":"Gallese, V., & Goldman, A. (1998). Mirror neurons and the simulation theory of mind-reading. Trends in Cognitive Sciences, 2, 493\u2013501.","journal-title":"Trends in Cognitive Sciences"},{"key":"9206_CR16","doi-asserted-by":"crossref","unstructured":"Galton, A. Operators vs. arguments: The ins and outs of reification. Synthese, 150:415\u2013441, 2006. Special issue edited by T. Bra\u00fcner, P. Hasle, and P. \u00d8hrstr\u00f8m.","DOI":"10.1007\/s11229-005-5516-7"},{"key":"9206_CR17","unstructured":"Gentzen, G. (1969). Investigations into logical deduction. In M. E. Szabo (Ed.), The collected papers of Gerhard Gentzen (pp. 68\u2013131). Amsterdam: North-Holland Publishing Company."},{"key":"9206_CR18","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10849-013-9177-5","volume":"22","author":"N Gierasimczuk","year":"2013","unstructured":"Gierasimczuk, N., van der Maas, H., & Raijmakers, M. (2013). An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. Journal of Logic, Language and Information, 22, 297\u2013314.","journal-title":"Journal of Logic, Language and Information"},{"key":"9206_CR19","volume-title":"Deductive logic","author":"W Goldfarb","year":"2003","unstructured":"Goldfarb, W. (2003). Deductive logic. Indianapolis, IN: Hackett Pub. Co."},{"key":"9206_CR20","doi-asserted-by":"crossref","first-page":"26","DOI":"10.2307\/1130386","volume":"59","author":"A Gopnik","year":"1988","unstructured":"Gopnik, A., & Astington, J. W. (1988). Children\u2019s understanding of representational change and its relation to the understanding of false belief and the appearance-reality distinction. Child Development, 59, 26\u201337.","journal-title":"Child Development"},{"key":"9206_CR21","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1017\/CBO9780511814273.012","volume-title":"Reasoning: Studies of human inference and its foundations","author":"PN Johnson-Laird","year":"2008","unstructured":"Johnson-Laird, P. N. (2008). Mental models and deductive reasoning. In J. E. Adler & L. J. Rips (Eds.), Reasoning: Studies of human inference and its foundations (pp. 206\u2013222). Cambridge: Cambridge University Press."},{"key":"9206_CR22","unstructured":"Meijering,B., van Maanen,L., van Rijn,H., Verbrugge,R.(2010) The facilitative effect of context on second-order social reasoning. In R. Catrambone and S. Ohlsson, editors, Proceedings of the 32nd Annual Conference of the Cognitive Science Society, pages 1423\u20131428. Cognitive Science Society."},{"key":"9206_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139108010","volume-title":"Formal languages in logic: A philosophical and cognitive analysis","author":"C Dutilh Novaes","year":"2012","unstructured":"Dutilh Novaes, C. (2012). Formal languages in logic: A philosophical and cognitive analysis. Cambridge: Cambridge University Press."},{"key":"9206_CR24","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1016\/j.neuropsychologia.2008.11.011","volume":"47","author":"J Pijnacker","year":"2009","unstructured":"Pijnacker, J., Geurts, B., van Lambalgen, M., Kan, C. C., Buitelaar, J. K., & Hagoort, P. (2009). Defeasible reasoning in high-functioning adults with autism: Evidence for impaired exception-handling. Neuropsychologia, 47, 644\u2013651.","journal-title":"Neuropsychologia"},{"key":"9206_CR25","unstructured":"Prawitz, D. (1965). Natural Deduction. Stockholm: A Proof-Theoretical Study. Almqvist and Wiksell."},{"key":"9206_CR26","doi-asserted-by":"crossref","unstructured":"D. Prawitz. Ideas and results in proof theory. In J. E. Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, volume 63 of Studies in Logic and The Foundations of Mathematics, pages 235\u2013307. North-Holland, 1971.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"9206_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The psychology of proof: Deductive reasoning in human thinking","author":"LJ Rips","year":"1994","unstructured":"Rips, L. J. (1994). The psychology of proof: Deductive reasoning in human thinking. Cambridge, MA: MIT Press."},{"key":"9206_CR28","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1017\/CBO9780511814273.011","volume-title":"Reasoning: Studies of human inference and its foundations","author":"LJ Rips","year":"2008","unstructured":"Rips, L. J. (2008). Logical approaches to human deductive reasoning. In J. E. Adler & L. J. Rips (Eds.), Reasoning: Studies of human inference and its foundations (pp. 187\u2013205). Cambridge: Cambridge University Press."},{"key":"9206_CR29","volume-title":"Artificial intelligence: A modern approach","author":"S Russell","year":"2009","unstructured":"Russell, S., & Norvig, P. (2009). Artificial intelligence: A modern approach (3rd ed.). Englewood Cliffs, NJ: Prentice Hall.","edition":"3"},{"key":"9206_CR30","unstructured":"U. Sch\u00f6ning. Logic for Computer Scientists. Birkh\u00e4user Verlag, 1989."},{"key":"9206_CR31","unstructured":"Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in intensional logic, volume 7 of applied logic series (pp. 107\u2013135). : Kluwer."},{"key":"9206_CR32","doi-asserted-by":"crossref","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. (2008). Human reasoning and cognitive science. Cambridge, MA: MIT Press."},{"key":"9206_CR33","unstructured":"Szymanik, J., Meijering, B., & Verbrugge, R. (2013). Using intrinsic complexity of turn-taking games to predict participants\u2019 reaction times. In M. Knauff, M. Pauen, N. Sebanz, & I. Wachsmuth (Eds.), Proceedings of the 35th Annual Conference of the Cognitive Science Society (pp. 1426\u20131432). : Cognitive Science Society."},{"key":"9206_CR34","volume-title":"Basic proof theory, volume 43 of Cambridge tracts in theoretical computer science","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory, volume 43 of Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press."},{"key":"9206_CR35","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s11229-006-9144-7","volume":"155","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., & Labuschagne, W. (2007). My beliefs about your beliefs: A case study in theory of mind and epistemic logic. Synthese, 155, 191\u2013209.","journal-title":"Synthese"},{"key":"9206_CR36","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1111\/1467-8624.00304","volume":"72","author":"HM Wellman","year":"2001","unstructured":"Wellman, H. M., Cross, D., & Watson, J. (2001). Meta-analysis of theory-of-mind development: The truth about false-belief. Child Development, 72, 655\u2013684.","journal-title":"Child Development"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9206-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9206-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9206-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T01:15:41Z","timestamp":1598318141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9206-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,27]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9206"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9206-z","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,27]]}}}