Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

DOI10.12775/LLP.2020.003zbMath1478.03024MaRDI QIDQ5006836

Torben Braüner

Publication date: 17 August 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

hybrid logicnatural deductionfalse-belief testslogic in cognitive scienceperspective shift

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Logic and social cognition. The facts matter, and so do computational models
• My beliefs about your beliefs: a case study in theory of mind and epistemic logic
• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Second-Order False-Belief Tasks: Analysis and Formalization
• Completeness and termination for a Seligman-style tableau system
• Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
• Hybrid logic and its proof-theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item