References
Fernando R. Velázquez-Quesada
Inference and update
2009
Synthese 169/2
Reasoning processes as epistemic dynamics
2015
Axiomathes 25/1
Abductive reasoning in dynamic epistemic logic
2017
with Nepomuceno-Fernández Angel, Soler-Toscano Fernando
in: Springer handbook of model-based science, Dordrecht : Springer