Об отсутствии интерполяционного свойства у логики PContPCompтезисы доклада