Iris van der Giessen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Cut Elimination

Sequent Calculi

Image Interpolation

Top Venues

Fundam. Informaticae

Publications

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. IJCAR (2) (2024)
Anupam Das, Iris van der Giessen, Sonia Marin
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. CSL (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised uniform interpolation for modal logics K, GL and iSL. CoRR (2024)
Iris van der Giessen
Admissible rules for six intuitionistic modal logics. Ann. Pure Appl. Log. 174 (4) (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR (2023)
Anupam Das, Iris van der Giessen, Sonia Marin
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics. CoRR (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX (2023)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. TABLEAUX (2023)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. CoRR (2023)
Iris van der Giessen, Rosalie Iemhoff
Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame J. Formal Log. 62 (2) (2021)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Uniform Interpolation via Nested Sequents. WoLLIC (2021)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Uniform interpolation via nested sequents and hypersequents. CoRR (2021)
Herman Geuvers, Iris van der Giessen, Tonny Hurkens
Strong Normalization for Truth Table Natural Deduction. Fundam. Informaticae 170 (1-3) (2019)