On the reflection calculus with partial conservativity operatorsдоклад на конференции