Add to ORKGRealizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este modo, definimos operadores que nos permiten expresar distintas modificaciones que puede sufrir una teoría, concretamente ampliaciones y contracciones. Mostramos cómo los tratamientos lógicos tradicionales del razonamiento abductivo pueden ser comprendidos desde nuestra propuesta.We propose an approach to explanatory reasoning through modal structures. We use the well-known formalism of Kripke frames, but associated with each world, there is not an interpretation but a logic. Then, we define operators that allow us to expre...