Listar por autor "Velázquez Quesada, Fernando Raymundo"
Mostrando ítems 1-3 de 3
-
Awareness of and awareness that: their combination and dynamics.
Fernández-Fernández, Claudia
; Velázquez Quesada, Fernando Raymundo (Oxford University Press, 2020-01-19)
The paper proposes a logical framework representing the notion of explicit knowledge as the combination of awareness of and awareness that. The setting, semantically combining neighbourhood models with ideas from awareness ... -
A formal model for explicit knowledge as awareness of plus awareness that
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 ... -
Lógica de conciencia: bisimulación a nivel conciencia y cambios en conciencia/conocimiento
(2014-04-30)Estudio de la lógica de la conciencia con bisimulaciones a nivel de la conciencia. Se hace hincapié en los posibles cambios en el conocimiento y la conciencia de agentes no ideales.