• Arguments Evaluation in Multi-Agent Systems 

      Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2018-12-13)
      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 ...
    • Basic Beliefs and Argument-based Beliefs in Awareness Epistemic Logic with Structured Arguments 

      Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (IOS PRESS, 2020-09-04)
      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 ...
    • A formal analysis of the notion of preference between deductive arguments 

      Yuste Ginel, Antonio; Burrieza-Muñiz, Alfredo (2018-05-25)
      In the last two decades, justification logic has addressed the problem of including justifications into the field of epistemic logic. Nevertheless, there is something that has not received enough attention yet: how epistemic ...
    • Formal argumentation and epistemic logic: what can they do for each other? 

      Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2021-11-15)
      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 ...
    • From preferences between arguments to preferences between explanations 

      Burrieza-Muñiz, Alfredo; Yuste-Ginel, Antonio (2018-04-06)
      In this ongoing work we present a new approach to the problem of argument evaluation. According to our view the notion of preference between deductive arguments is reducible to simpler notions. Departuring from this analysis ...
    • Knowledge and Awareness. Bringing together Epistemology and Logic. 

      Fernandez Fernandez, Claudia (UMA Editorial, 2020-02-25)
      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 ...
    • On the Tension between Belief Formation and Argument Evaluation 

      Yuste-Ginel, Antonio; Burrieza-Muñiz, Alfredo (2019-09-06)
      There exists certain circularity between the formation of some epistemic atti- tudes of an agent and the way she assesses her available arguments. For the sake of simplicity, I will restrict my attention to the case of ...
    • Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud 

      Muñoz Velasco, Emilio José (2003)
      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 ...