Abductive reasoning in dynamic epistemic logic

2017

Angel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

in: Springer handbook of model-based science, Berlin,