A semantic approach to interpolation

Abstract. Interpolation results are investigated for various types of for-mulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify more than twenty interpolation results for first-order logic and some for richer logics. A few of these results non-trivially generalize known interpolation results. All the others are new.