Modal logic of projective geometries of finite dimension by V. Stebletsova