Characterizing Interpolation Pairs in Infinitary Graded Logics
Giovanna D'Agostino

Abstract:
The problem of interpolation for countable infinitary graded modal logics 
is considered. Pairs of formulae having an interpolant in these logics 
are characterized semantically using generalized consistency property.