A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. - Rosalie Iemhoff (Advances in Modal Logic, 1998)

A (nother) characterization of intuitionistic propositional logic. - Rosalie Iemhoff (Ann. Pure Appl. Log., 2001)

On The Admissible Rules of Intuitionistic Propositional Logic. - Rosalie Iemhoff (J. Symb. Log., 2001)

Towards a Proof System for Admissibility. - Rosalie Iemhoff (CSL, 2003)

Preservativity logic: An analogue of interpretability logic for constructive theories. - Rosalie Iemhoff (Math. Log. Q., 2003)

On the Proof Theory of the Existence Predicate. - Matthias Baaz; Rosalie Iemhoff (We Will Show Them! (1), 2005)

On Interpolation in Existence Logics. - Matthias Baaz; Rosalie Iemhoff (LPAR, 2005)

Properties of Intuitionistic Provability and Preservativity Logics. - Rosalie Iemhoff; Dick De Jongh; Chunlai Zhou (Log. J. IGPL, 2005)

A Note on Linear Kripke Models. - Rosalie Iemhoff (J. Log. Comput., 2005)

Intermediate Logics and Visser's Rules. - Rosalie Iemhoff (Notre Dame J. Formal Log., 2005)

On the rules of intermediate logics. - Rosalie Iemhoff (Arch. Math. Log., 2006)

The Skolemization of existential quantifiers in intuitionistic logic. - Matthias Baaz; Rosalie Iemhoff (Ann. Pure Appl. Log., 2006)

Gentzen Calculi for the Existence Predicate. - Matthias Baaz; Rosalie Iemhoff (Stud Logica, 2006)

The basic intuitionistic logic of proofs. - Sergei N. Artëmov; Rosalie Iemhoff (J. Symb. Log., 2007)

On Skolemization in constructive theories. - Matthias Baaz; Rosalie Iemhoff (J. Symb. Log., 2008)

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. - Rosalie Iemhoff; George Metcalfe (LFCS, 2009)

Proof theory for admissible rules. - Rosalie Iemhoff; George Metcalfe (Ann. Pure Appl. Log., 2009)

Kripke models for subtheories of CZF. - Rosalie Iemhoff (Arch. Math. Log., 2010)

The eskolemization of universal quantifiers. - Rosalie Iemhoff (Ann. Pure Appl. Log., 2010)

Unification in Logic. - Rosalie Iemhoff (WoLLIC, 2011)

Eskolemization in Intuitionistic Logic. - Matthias Baaz; Rosalie Iemhoff (J. Log. Comput., 2011)

Tutorial on Admissible Rules in Gudauri. - Rosalie Iemhoff (TbiLLC, 2013)

On unification and admissible rules in Gabbay-de Jongh logics. - Jeroen P. Goudsmit; Rosalie Iemhoff (Ann. Pure Appl. Log., 2014)

Editorial: Special issue on non-classical modal and predicate logics. - Petr Cintula; Rosalie Iemhoff; Shier Ju (Log. J. IGPL, 2014)

On Rules. - Rosalie Iemhoff (J. Philos. Log., 2015)

Unification in Intermediate Logics. - Rosalie Iemhoff; Paul Rozière (J. Symb. Log., 2015)

Structural completeness in propositional logics of dependence. - Rosalie Iemhoff; Fan Yang 004 (Arch. Math. Log., 2016)

Skolemization in intermediate logics with the finite model property. - Matthias Baaz; Rosalie Iemhoff (Log. J. IGPL, 2016)

Consequence Relations and Admissible Rules. - Rosalie Iemhoff (J. Philos. Log., 2016)

Stable Canonical Rules. - Guram Bezhanishvili; Nick Bezhanishvili; Rosalie Iemhoff (J. Symb. Log., 2016)

A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. - Rosalie Iemhoff (Notre Dame J. Formal Log., 2016)

Special Issue on Admissible Rules and Unification. - Rosalie Iemhoff; George Metcalfe (Notre Dame J. Formal Log., 2016)

On the Existence of Alternative Skolemization Methods. - Rosalie Iemhoff (FLAP, 2017)

The Existence of Proof Systems. - Rosalie Iemhoff (Advances in Modal Logic, 2018)

Terminating sequent calculi for two intuitionistic modal logics. - Rosalie Iemhoff (J. Log. Comput., 2018)

Uniform interpolation and sequent calculi in modal logic. - Rosalie Iemhoff (Arch. Math. Log., 2019)

Uniform interpolation and the existence of sequent calculi. - Rosalie Iemhoff (Ann. Pure Appl. Log., 2019)

Questions and Dependency in Intuitionistic Logic. - Ivano Ciardelli; Rosalie Iemhoff; Fan Yang 004 (Notre Dame J. Formal Log., 2020)

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. - Amirhossein Akbar Tabatabai; Rosalie Iemhoff; Raheleh Jalali (WoLLIC, 2021)

Logics of intuitionistic Kripke-Platek set theory. - Rosalie Iemhoff; Robert Paßmann (Ann. Pure Appl. Log., 2021)

Sequent Calculi for Intuitionistic Gödel-Löb Logic. - Iris van der Giessen; Rosalie Iemhoff (Notre Dame J. Formal Log., 2021)

Uniform Lyndon interpolation for intuitionistic monotone modal logic. - Rosalie Iemhoff; Raheleh Jalali; Amirhossein Akbar Tabatabai (AiML, 2022)

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. - Amirhossein Akbar Tabatabai; Rosalie Iemhoff; Raheleh Jalali (CoRR, 2022)

The G4i Analogue of a G3i Sequent Calculus. - Rosalie Iemhoff (Stud Logica, 2022)

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 (TABLEAUX, 2023)

Universal Proof Theory, TACL 2022 Lecture Notes. - Rosalie Iemhoff; Raheleh Jalali (CoRR, 2023)

Skolemization In Intermediate Logics. - Matthias Baaz; Mariami Gamsakhurdia; Rosalie Iemhoff; Raheleh Jalali (CoRR, 2025)