Submodels of Kripke models by A. Visser