Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito. Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. In Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt, editors, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. Volume 14740 of Lecture Notes in Computer Science, pages 43-60, Springer, 2024. [doi]
Abstract is missing.