Title: Interpolation and definability
Subjects: Definability theory (Mathematical logic), Interpolation, Modality (Logic), Logic