Interpolation in modal infinite slice logics containing the logic K4
logics of finite irreflexive n-ary trees
scientific article; zbMATH DE number 4204316