Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL (Best paper award)

Recommended citation: Férée, Hugo, van der Giessen, Iris, van Gool, Sam and Shillito, Ian. (2024). "Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL" IJCAR 2024.
Download Paper