Describir: Sobre la adecuación de los modelos de Kripke para representar la necesidad lógica y la necesidad metafísica