Aiming to understand how human (false-) belief—a core socio-cognitive ability—would affect
human interactions with robots, this paper proposes to adopt a graphical model to unify the …

We propose a variant of public announcement logic for asynchronous systems. To capture
asynchrony, we introduce two different modal operators for sending and receiving …

This dissertation aims at the logical modelling of aspects of human reasoning, informed by
facts on the bounds of human cognition. We break down this challenge into three parts: Part …

How do people reason about their opponent in turn-taking games? Often, people do not
make the decisions that game theory would prescribe. We present a logic that can play a key …

A true lie is a lie that becomes true when announced. In a logic of announcements, where
the announcing agent is not modelled, a true lie is a formula (that is false and) that becomes …

We analyze four well‐known second‐order false belief tasks. Superficially, all four tasks
share a common logical structure: All are based around a principle of inertia, which says that …

The literature on first-order false-belief is extensive, but less isknown about the second-order
case. The attainment of second-order false-belief mastery seems to mark a cognitively signifi …

This paper presents a novel semantics for the mA* epistemic action language that takes into
consideration dynamic per-agent observability of events. Different from the original mA …

The starting point of this chapter is the remarkable fact that proof procedures for wide
classes of hybrid logics can be given in a uniform way, and moreover, this encompasses …

Abstract In Epistemic Planning, an automated system decides what goal-oriented actions to
perform in a task-environment where the mental perspectives (beliefs and knowledge) of …