This is a preview. Log in through your library . Abstract Deductive inference is usually regarded as being "tautological" or "analytical": the information conveyed by the conclusion is contained in ...

This is a preview. Log in through your library . Abstract We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts ...