Fjellstad A. A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic. B Sect Log [Internet]. 2026 Apr. 24 [cited 2026 May 30];55(1):49-71. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/25982