Iris van der Giessen

17 papers B 3C 1Journal 12Unranked 1

Year	Rank	Type	Title / 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