Kostrzycka, Z. 2018. On interpolation in NEXT(KB.Alt(2)). Bulletin of the Section of Logic. 47, 3 (Oct. 2018), 159–170. DOI:https://doi.org/10.18778/0138-0680.47.3.02.