Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is
about the behaviour of known or believed truths. Justification logic is a theory of reasoning …

We present a logic for reasoning about the interplay between belief, evidence and trust in a
multi-agent setting. We call this logic DL-BET which stands for “Dynamic Logic of Belief …

We overview the most prominent logics of knowledge and action that were proposed and
studied in the multiagent systems literature. We classify them according to these two …

This paper combines two studies: a topological semantics for epistemic notions and abstract
argumentation theory. In our combined setting, we use a topological semantics to represent …

In this paper, we explore the relation between an agent's doxastic attitude and her
arguments in support of a given claim. Our main contribution is the design of a logical setting …

The article introduces substructural epistemic logics of belief supported by evidence. The
logics combine normal modal epistemic logics (implicit belief) with distributive substructural …

Artemov established an arithmetical interpretation for the Logics of Proofs LP CS, which
yields a classical provability semantics for the modal logic S4. The Logics of Proofs are …

There are two intuitive principles governing belief formation and argument evaluation that
can potentially clash. After arguing that adopting them unrestrictedly leads to an infinite …

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 …

This book presents the Ph. D. dissertation of Ilaria Canavotto. The thesis won the EW Beth
Dissertation Prize in 2021 for outstanding dissertations in the fields of logic, language, and …