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