@misc{indiciaee41b39e11d00,
  title = {Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM},
  author = {Hugo Férée and Ian Shillito},
  year = {2026},
  url = {https://arxiv.org/abs/2602.16445},
  note = {Source identifier: 2602.16445}
}