О двух видах семантики Крипке для базисной логики А. Виссерастатья