The many faces of interpolation

Johan van Benthem

pp. 451-460

in: Essays in honor of William Craig, Synthese 164 (3), 2008.

Abstract

We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.