Modelling Abduction in Science by means of a Modal Adaptive Logic

Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA ^s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.