Iris van der Giessen

According to our database, Iris van der Giessen authored at least 13 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Uniform interpolation with constructive diamond.

Iris van der Giessen, Ian Shillito

CoRR, February, 2026

Interpolation in Proof Theory.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

CoRR, February, 2026

2025

On the Contingency of Logic in Possible World Semantics.

Iris van der Giessen, Joost J. Joosten, Paul Mayaux, Vicent Navarro Arroyo

Logica Universalis, December, 2025

Uniform interpolation via nested sequents and hypersequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

J. Log. Comput., 2025

2024

Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics.

Anupam Das, Iris van der Giessen, Sonia Marin

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Admissible rules for six intuitionistic modal logics.

Iris van der Giessen

Ann. Pure Appl. Log., April, 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

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Uniform Interpolation and Admissible Rules: Proof-theoretic investigations into (intuitionistic) modal logics.

Iris van der Giessen

PhD thesis, 2022

2021

Sequent Calculi for Intuitionistic Gödel-Löb Logic.

Iris van der Giessen, Rosalie Iemhoff

Notre Dame J. Formal Log., 2021

Uniform Interpolation via Nested Sequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Logic, Language, Information, and Computation, 2021

2019

Strong Normalization for Truth Table Natural Deduction.

Herman Geuvers, Iris van der Giessen, Tonny Hurkens

Fundam. Informaticae, 2019