Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Torben Bra√ľner. Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. Journal of Logic, Language and Information, 23(4):415-439, 2014. [doi]

Abstract

Abstract is missing.