Angel Nepomuceno-Fernández
Abductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer
Abductive reasoning in dynamic epistemic logic
2017
in: Springer handbook of model-based science, Dordrecht : Springer