Buscar
Mostrando ítems 1-2 de 2
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
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 ...