Buscar
Mostrando ítems 1-3 de 3
Artículo
El giro dinámico en la epistemología formal: el caso del razonamiento explicativo
(Universidad del País Vasco, 2014)
We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering ...
Artículo
Conocimiento y creencia en lógica epistémica dinámica
(Universidad Autónoma de la Ciudad de México, 2023)
Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que ...
Artículo
Tuning the program transformers from LCC to PDL
(IFCoLog (The International Federation for Computational Logic), 2018)
This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of ...