Rosalie Iemhoff

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 25

Top Topics

Top Venues

Notre Dame J. Formal Log.

Ann. Pure Appl. Log.

J. Philos. Log.

Publications

Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX (2023)
Rosalie Iemhoff, Raheleh Jalali
Universal Proof Theory, TACL 2022 Lecture Notes. CoRR (2023)
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon interpolation for intuitionistic monotone modal logic. CoRR (2022)
Rosalie Iemhoff
The G4i Analogue of a G3i Sequent Calculus. Stud Logica 110 (6) (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. CoRR (2022)
Rosalie Iemhoff, Robert Paßmann
Logics of intuitionistic Kripke-Platek set theory. Ann. Pure Appl. Log. 172 (10) (2021)
Iris van der Giessen, Rosalie Iemhoff
Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame J. Formal Log. 62 (2) (2021)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. WoLLIC (2021)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. 61 (1) (2020)
Rosalie Iemhoff
Uniform interpolation and the existence of sequent calculi. Ann. Pure Appl. Log. 170 (11) (2019)
Rosalie Iemhoff
Uniform interpolation and sequent calculi in modal logic. Arch. Math. Log. 58 (1-2) (2019)
Rosalie Iemhoff
The Existence of Proof Systems. Advances in Modal Logic (2018)
Rosalie Iemhoff
Terminating sequent calculi for two intuitionistic modal logics. J. Log. Comput. 28 (7) (2018)
Rosalie Iemhoff
On the Existence of Alternative Skolemization Methods. FLAP 4 (4) (2017)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and dependency in intuitionistic logic. CoRR (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
Stable Canonical Rules. J. Symb. Log. 81 (1) (2016)
Rosalie Iemhoff, George Metcalfe
Special Issue on Admissible Rules and Unification. Notre Dame J. Formal Log. 57 (4) (2016)
Rosalie Iemhoff
Consequence Relations and Admissible Rules. J. Philos. Log. 45 (3) (2016)
Matthias Baaz, Rosalie Iemhoff
Skolemization in intermediate logics with the finite model property. Log. J. IGPL 24 (3) (2016)
Rosalie Iemhoff
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. Notre Dame J. Formal Log. 57 (2) (2016)
Rosalie Iemhoff, Fan Yang
Structural completeness in propositional logics of dependence. Arch. Math. Log. 55 (7-8) (2016)
Rosalie Iemhoff, Paul Rozière
Unification in Intermediate Logics. J. Symb. Log. 80 (3) (2015)
Rosalie Iemhoff
On Rules. J. Philos. Log. 44 (6) (2015)
Petr Cintula, Rosalie Iemhoff, Shier Ju
Editorial: Special issue on non-classical modal and predicate logics. Log. J. IGPL 22 (3) (2014)
Jeroen P. Goudsmit, Rosalie Iemhoff
On unification and admissible rules in Gabbay-de Jongh logics. Ann. Pure Appl. Log. 165 (2) (2014)
Rosalie Iemhoff
Tutorial on Admissible Rules in Gudauri. TbiLLC (2013)
Rosalie Iemhoff
Unification in Logic. WoLLIC (2011)
Matthias Baaz, Rosalie Iemhoff
Eskolemization in Intuitionistic Logic. J. Log. Comput. 21 (4) (2011)
Rosalie Iemhoff
The eskolemization of universal quantifiers. Ann. Pure Appl. Log. 162 (3) (2010)
Rosalie Iemhoff
Kripke models for subtheories of CZF. Arch. Math. Log. 49 (2) (2010)
Rosalie Iemhoff, George Metcalfe
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS (2009)
Rosalie Iemhoff, George Metcalfe
Proof theory for admissible rules. Ann. Pure Appl. Log. 159 (1-2) (2009)
Matthias Baaz, Rosalie Iemhoff
On Skolemization in constructive theories. J. Symb. Log. 73 (3) (2008)
Sergei N. Artëmov, Rosalie Iemhoff
The basic intuitionistic logic of proofs. J. Symb. Log. 72 (2) (2007)
Matthias Baaz, Rosalie Iemhoff
Gentzen Calculi for the Existence Predicate. Stud Logica 82 (1) (2006)
Matthias Baaz, Rosalie Iemhoff
The Skolemization of existential quantifiers in intuitionistic logic. Ann. Pure Appl. Log. 142 (1-3) (2006)
Rosalie Iemhoff
On the rules of intermediate logics. Arch. Math. Log. 45 (5) (2006)
Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou
Properties of Intuitionistic Provability and Preservativity Logics. Log. J. IGPL 13 (6) (2005)
Rosalie Iemhoff
A Note on Linear Kripke Models. J. Log. Comput. 15 (4) (2005)
Matthias Baaz, Rosalie Iemhoff
On the Proof Theory of the Existence Predicate. We Will Show Them! (1) (2005)
Rosalie Iemhoff
Intermediate Logics and Visser's Rules. Notre Dame J. Formal Log. 46 (1) (2005)
Matthias Baaz, Rosalie Iemhoff
On Interpolation in Existence Logics. LPAR (2005)
Rosalie Iemhoff
Towards a Proof System for Admissibility. CSL (2003)
Rosalie Iemhoff
Preservativity logic: An analogue of interpretability logic for constructive theories. Math. Log. Q. 49 (3) (2003)
Rosalie Iemhoff
On The Admissible Rules of Intuitionistic Propositional Logic. J. Symb. Log. 66 (1) (2001)
Rosalie Iemhoff
A (nother) characterization of intuitionistic propositional logic. Ann. Pure Appl. Log. 113 (1-3) (2001)
Rosalie Iemhoff
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Advances in Modal Logic (1998)