T. Braüner, “Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization”, LLP, vol. 29, no. 3, pp. 415–445, Feb. 2020.