Second-Order False-Belief Tasks: Analysis and Formalization

DOI10.1007/978-3-662-52921-8_9zbMath1478.03025OpenAlexW2502844875MaRDI QIDQ2820690

Torben Braüner, Patrick Blackburn, Irina Polyanskaya

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://rucforsk.ruc.dk/ws/files/59413559/Wollic2016paperPost_print.pdf

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items

True lies, Second-Order False-Belief Tasks: Analysis and Formalization, Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Cites Work

• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Second-Order False-Belief Tasks: Analysis and Formalization
• Hybrid logic and its proof-theory
• Unnamed Item