TY  - RPRT
TI  - Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
AU  - Hugo Férée
AU  - Ian Shillito
PY  - 2026
UR  - https://arxiv.org/abs/2602.16445
ID  - 2602.16445
ER  -