INTERPOLATION AND DEFINABILITY - Gabbay,D. M.; Maksimova,L. (Clarendon Press, Oxford, 2005)
Keywords: Interpolation; Modality (Logic); Definability Theory (Mathematical Logic)