In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will ...

In this paper, a novel problem within the field of Epistemic Logic and Justification Logic is presented. This problem can be stated as follows: how epistemic agents should prefer one justification to another for supporting ...

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 regress, we propose a formal framework ...

Arguing and believing are two central cognitive dimensions of both human beings and artificial intelligent agents. The interrelation of these two notions (or groups of notions) is at the root of classic debates in epistemology ...

The present dissertation has as its main goal the creation of a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. The existing disconnection between both fields and the lack of a proper ...

Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área ...