Iris van der Giessen

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

Collaborative distances:

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

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

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 and hypersequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

CoRR, 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