On some modal logics related to K5тезисы доклада