Gyenis, Zalán, Zalán Molnár, and Övge Öztürk. “The Modelwise Interpolation Property of Semantic Logics”. Bulletin of the Section of Logic 52, no. 1 (April 21, 2023): 59–83. Accessed May 2, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/14228.