Return to Article Details A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic Download Download PDF