• A formal model for explicit knowledge as awareness of plus awareness that 

      Velázquez Quesada, Fernando R.; Fernandez Fernandez, Claudia (2018-10-29)
      Since the problem of logical omniscience was identified, several proposals have tried to model the knowledge of ‘real’ agents with limited reasoning abilities. One of the most important proposals, awareness logic, relies ...
    • 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 ...