A logical investigation of false-belief tasks

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


We describe an interdisciplinary research project that uses logic to investigate psychological reasoning tests called false-belief tasks. The goal of the project is to analyze and give logical formalizations of false-belief tasks using a range of modal proof-systems, and moreover, to use such logical analyses as a basis for empirical studies of how children with Autism Spectrum Disorder reason in false-belief tasks.
Original languageEnglish
Title of host publicationProceedings of the 40th Annual Conference of the Cognitive Science Society
EditorsT.T. Rogers, M. Rau, X. Zhu, C.W. Kalish
PublisherCognitive Science Society
Publication date2018
ISBN (Electronic)978-0-9911967-8-4
Publication statusPublished - 2018
Event40th Annual Meeting of the Cognitive Science Society: Changing/minds - Madison, United States
Duration: 25 Jul 201828 Jul 2018
Conference number: 40


Conference40th Annual Meeting of the Cognitive Science Society
Country/TerritoryUnited States
OtherCogSci 2018 is the 40th Annual Meeting of the Cognitive Science Society, to be held in Madison, WI at the Monona Terrace Community and Convention Center on Wednesday July 25th – Saturday July 28th, 2018 (Wednesday, July 25th is the Tutorials and Workshops day).<br/><br/>This year’s conference provides an opportunity to consider the ways cognitive science bears on issues of change, learning, growth, and adaptation, but, as always, the conference will also reflect the full breadth of the discipline and of the society’s membership.
Internet address


  • False-belief tasks
  • Hybrid modal logic
  • Natural deduction
  • Recursion
  • Autism Spectrum Disorder

Cite this