Braüner, T. Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization. LLP 2020, 29, 415-445.