Completeness of the logic HC in a special spaceдоклад на конференции