We study multiagent epistemic planning with a simple epistemic logic whose language is a
restriction of that of standard epistemic logic. Its formulas are boolean combinations of …

This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its
main motivation is to build a general framework for modelling the dynamics of a debate …

Epistemic planning is useful in situations where multiple agents have different knowledge
and beliefs about the world, such as in robot-human interaction. One aspect that has been …

We study the relation between two existing formalisms: incomplete argumentation
frameworks (IAFs) and epistemic logic of visibility (ELV). We show that the set of completions …

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 …

Starting from standard logics of knowledge and belief with principles such as introspection of
beliefs and'knowledge implies belief', we study two non-normal modalities of belief: true …

Arguing and believing are two skills that have typically played a crucial role in the analysis of
human cognition. Both notions have received notable attention from a broad range of …

Abstract Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to
oneself and others, is a crucial component of social skills. Its formal study has become …

In this thesis we study a lightweight framework in which to model knowledge and beliefs and
the evolution thereof in multiagent systems. The standard logic used for this is very …