The intuitive notion of evidence has both semantic and syntactic features. In this paper, we
develop an evidence logic for epistemic agents faced with possibly contradictory evidence …

We present a complete, decidable logic for reasoning about a notion of completely
trustworthy (“conclusive”) evidence and its relations to justifiable (implicit) belief and …

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 …

Abstract In Artemovʼs Justification Logic, one can make statements interpreted as “t is
evidence for the truth of formula F.” We propose a variant of this logic in which one can say “I …

We introduce a justification logic with a novel constructor for evidence terms, according to
which the new information itself serves as evidence for believing it. We provide a sound and …

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 …

This thesis discusses the problem of logical omniscience, a defect of standard epistemic and
doxastic logics which–unrealistically–predict that agents know/believe all consequences of …

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 paper develops a logical theory that unifies all three standard types of argumentative
attack in AI, namely rebutting, undercutting and undermining attacks. We build on default …