Normalization of deductions and interpolation for some logics of provability
scientific article