Text this: Una contribución a la teoría de modelos de kripke para el intuicionismo