Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
arXiv:2602.16445v1 Announce Type: new Abstract: Pitts' proof-theoretic technique for uniform interpolation, which generates uniform interpolants from terminating sequent calculi, has only been applied to logics...