Iris van der Giessen

17 papers B 3C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interpolation in Proof Theory.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2026 J jnl
Uniform interpolation with constructive diamond.
CoRR
Iris van der Giessen, Ian Shillito
2025 J jnl
On the Contingency of Logic in Possible World Semantics.
Logica Universalis
Iris van der Giessen, Joost J. Joosten, Paul Mayaux, Vicent Navarro Arroyo
2025 J jnl
Uniform interpolation via nested sequents and hypersequents.
J. Log. Comput.
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2024 B conf
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics.
CSL
Anupam Das, Iris van der Giessen, Sonia Marin
2024 — conf
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.
IJCAR (2)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2024 J jnl
Mechanised uniform interpolation for modal logics K, GL and iSL.
CoRR
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2023 B conf
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.
TABLEAUX
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2023 J jnl
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised.
CoRR
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2023 J jnl
Admissible rules for six intuitionistic modal logics.
Ann. Pure Appl. Log.
Iris van der Giessen
2023 B conf
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.
TABLEAUX
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023 J jnl
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023 J jnl
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics.
CoRR
Anupam Das, Iris van der Giessen, Sonia Marin
2021 J jnl
Sequent Calculi for Intuitionistic Gödel-Löb Logic.
Notre Dame J. Formal Log.
Iris van der Giessen, Rosalie Iemhoff
2021 C conf
Uniform Interpolation via Nested Sequents.
WoLLIC
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2021 J jnl
Uniform interpolation via nested sequents and hypersequents.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2019 J jnl
Strong Normalization for Truth Table Natural Deduction.
Fundam. Informaticae
Herman Geuvers, Iris van der Giessen, Tonny Hurkens