Proof Theory and Interpolation for Sacchetti's Logics | Digital Library | PAMCET | PAMCET