This is a preview. Log in through your library . Abstract The purpose of this paper is to describe and analyze the new family of methods for bivariate interpolation first reported in [12]. Although ...

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts' proof of uniform interpolation in intuitionistic ...