Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.

Hugo Fre, Iris van der Giessen, Sam van Gool, Ian Shillito

Browse the full IJCAR paper archive.