Strong Normalization for Truth Table Natural Deduction. - Herman Geuvers; Iris van der Giessen; Tonny Hurkens (Fundam. Informaticae, 2019)

Uniform Interpolation via Nested Sequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (WoLLIC, 2021)

Uniform interpolation via nested sequents and hypersequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (CoRR, 2021)

Sequent Calculi for Intuitionistic Gödel-Löb Logic. - Iris van der Giessen; Rosalie Iemhoff (Notre Dame J. Formal Log., 2021)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (TABLEAUX, 2023)

A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. - Ian Shillito; Iris van der Giessen; Rajeev Goré; Rosalie Iemhoff (TABLEAUX, 2023)

Admissible rules for six intuitionistic modal logics. - Iris van der Giessen (Ann. Pure Appl. Log., 2023)

Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. - Anupam Das 002; Iris van der Giessen; Sonia Marin (CSL, 2024)

Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. - Hugo Férée; Iris van der Giessen; Sam van Gool; Ian Shillito (IJCAR (2), 2024)