Harmen de Weerd

A Dynamic Epistemic Logic with Lying and Theory of Mind Limitations

Abstract Theory of mind (ToM) is the ability to attribute and reason about unobservable mental states of others, such as knowledge, beliefs, and intentions. ToM is needed in social interactions, negotiations, cooperation, and deception, but there is a limit to the recursive depth...