Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM.

Hugo Fre, Ian Shillito

Browse the full IJCAR paper archive.