This document is unfortunately not available for download at the moment.
Lorenzo Magnani , Tommaso Bertolotti (2017) Springer handbook of model-based science, Dordrecht, Springer.
Formal (in)consistency, abduction and modalities
Juliana Bueno-Soler , Walter Carnielli , Marcelo Coniglio
pp. 315-335
Not implemented yet !