Fjellstad, Andreas. “A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic”. Bulletin of the Section of Logic 55, no. 1 (April 24, 2026): 49–71. Accessed October 2, 2026. https://czasopisma.uni.lodz.pl/bulletin/article/view/25982.