Abstract
The goal of this thesis is to logically formalize abductive reasoning, conceived as a process of belief change, in order to enable contradictory explanatory hypotheses, either among themselves or among previous beliefs, in a given epistemic state. To this end, three philosophical, conceptual, and logical pillars will be elucidated, systematized, and integrated: i) abduction, ii) the belie…