Simon Santschi, Niels C. Vooijs. Interpolation above S4 (Extended Abstract). In Stefan Hetzl, Jean Christoph Jung, Renate A. Schmidt, Christoph Wernhard, editors, Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026), co-located with the 9th Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 24-25, 2026. Volume 4228 of CEUR Workshop Proceedings, pages 59-65, CEUR-WS.org, 2026. [doi]
Abstract is missing.