Z. Gyenis, Z. Molnár, and Övge Öztürk, “The Modelwise Interpolation Property of Semantic Logics”, B Sect Log, vol. 52, no. 1, pp. 59–83, Apr. 2023.