This paper connects the following four topics: a class of generalized graphs whose relations
do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting …

We propose a logic of knowledge for impure simplicial complexes. Impure simplicial
complexes represent distributed systems under uncertainty over which processes are still …

Non-normal modal logics, interpreted on neighbourhood models which generalise the usual
relational semantics, have found application in several areas, such as epistemic, deontic …

Modal logics are widely used in multi-agent systems to reason about actions, abilities,
norms, or epistemic states. Combined with description logic languages, they are also a …

In this article we formalise the notion of knowing a secret as a modality, by combining
standard notions of knowledge and ignorance from modal epistemic logic. Roughly …

Modal logics are widely used in multi-agent systems to reason about actions, abilities,
norms, or epistemic states. Combined with description logic languages, they are also a …

This chapter studies abductive reasoning as an epistemic process that involves both an
agent's information and the actions that modify it. More precisely, it proposes and discusses …

This paper introduces and studies a notion of cautious distributed belief. Different from the
standard distributed belief, the cautious distributed belief of a group is inconsistent only …

We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based
on an indistinguishability relation between plans. Our proposal is, arguably, closer to the …

Epistemic logics of intensional groups lift the assumption that membership in a group of
agents is common knowledge. Instead of being represented directly as a set of agents …