This document is unfortunately not available for download at the moment.
Lorenzo Magnani , Tommaso Bertolotti (2017) Springer handbook of model-based science, Dordrecht, Springer.
Abductive reasoning in dynamic epistemic logic
Angel Nepomuceno-Fernández, Fernando Soler-Toscano , Fernando R. Velázquez-Quesada
pp. 269-293
Not implemented yet !