Fjellstad A. A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic. B Sect Log. 2026;55(1):49-71. doi:10.18778/0138-0680.2026.02