Григорий Вельмакин. Теория истины по Крипке