Completeness of the logic HC in a special spaceтезисы доклада