Rosalie Iemhoff

53 papers B 6C 3Misc 1Journal 41Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Six Proofs of Interpolation for the Modal Logic K.
CoRR
Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff
2025 J jnl
Skolemization In Intermediate Logics.
CoRR
Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali
2025 J jnl
Uniform lyndon interpolation for basic non-normal modal and conditional logics.
J. Log. Comput.
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
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
Universal Proof Theory, TACL 2022 Lecture Notes.
CoRR
Rosalie Iemhoff, Raheleh Jalali
2022 J jnl
The G4i Analogue of a G3i Sequent Calculus.
Stud Logica
Rosalie Iemhoff
2022 J jnl
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2022 B conf
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
AiML
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
2022 J jnl
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2021 J jnl
Logics of intuitionistic Kripke-Platek set theory.
Ann. Pure Appl. Log.
Rosalie Iemhoff, Robert Paßmann
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 Lyndon Interpolation for Basic Non-normal Modal Logics.
WoLLIC
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2020 J jnl
Questions and Dependency in Intuitionistic Logic.
Notre Dame J. Formal Log.
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2019 C ed.
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
WoLLIC
Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz
2019 J jnl
Uniform interpolation and sequent calculi in modal logic.
Arch. Math. Log.
Rosalie Iemhoff
2019 J jnl
Uniform interpolation and the existence of sequent calculi.
Ann. Pure Appl. Log.
Rosalie Iemhoff
2018 J jnl
Terminating sequent calculi for two intuitionistic modal logics.
J. Log. Comput.
Rosalie Iemhoff
2018 B conf
The Existence of Proof Systems.
Advances in Modal Logic
Rosalie Iemhoff
2017 J jnl
On the Existence of Alternative Skolemization Methods.
FLAP
Rosalie Iemhoff
2017 J jnl
Questions and dependency in intuitionistic logic.
CoRR
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2016 J jnl
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.
Notre Dame J. Formal Log.
Rosalie Iemhoff
2016 J jnl
Consequence Relations and Admissible Rules.
J. Philos. Log.
Rosalie Iemhoff
2016 J jnl
Skolemization in intermediate logics with the finite model property.
Log. J. IGPL
Matthias Baaz, Rosalie Iemhoff
2016 J jnl
Special Issue on Admissible Rules and Unification.
Notre Dame J. Formal Log.
Rosalie Iemhoff, George Metcalfe
2016 J jnl
Stable Canonical Rules.
J. Symb. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
2016 J jnl
Structural completeness in propositional logics of dependence.
Arch. Math. Log.
Rosalie Iemhoff, Fan Yang
2015 J jnl
On Rules.
J. Philos. Log.
Rosalie Iemhoff
2015 J jnl
Unification in Intermediate Logics.
J. Symb. Log.
Rosalie Iemhoff, Paul Rozière
2014 J jnl
Editorial: Special issue on non-classical modal and predicate logics.
Log. J. IGPL
Petr Cintula, Rosalie Iemhoff, Shier Ju
2014 J jnl
On unification and admissible rules in Gabbay-de Jongh logics.
Ann. Pure Appl. Log.
Jeroen P. Goudsmit, Rosalie Iemhoff
2013 — conf
Tutorial on Admissible Rules in Gudauri.
TbiLLC
Rosalie Iemhoff
2011 J jnl
Eskolemization in Intuitionistic Logic.
J. Log. Comput.
Matthias Baaz, Rosalie Iemhoff
2011 C conf
Unification in Logic.
WoLLIC
Rosalie Iemhoff
2010 J jnl
Kripke models for subtheories of CZF.
Arch. Math. Log.
Rosalie Iemhoff
2010 J jnl
The eskolemization of universal quantifiers.
Ann. Pure Appl. Log.
Rosalie Iemhoff
2009 Misc conf
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.
LFCS
Rosalie Iemhoff, George Metcalfe
2009 J jnl
Proof theory for admissible rules.
Ann. Pure Appl. Log.
Rosalie Iemhoff, George Metcalfe
2008 J jnl
On Skolemization in constructive theories.
J. Symb. Log.
Matthias Baaz, Rosalie Iemhoff
2007 J jnl
The basic intuitionistic logic of proofs.
J. Symb. Log.
Sergei N. Artëmov, Rosalie Iemhoff
2006 J jnl
Gentzen Calculi for the Existence Predicate.
Stud Logica
Matthias Baaz, Rosalie Iemhoff
2006 J jnl
On the rules of intermediate logics.
Arch. Math. Log.
Rosalie Iemhoff
2006 J jnl
The Skolemization of existential quantifiers in intuitionistic logic.
Ann. Pure Appl. Log.
Matthias Baaz, Rosalie Iemhoff
2005 J jnl
A Note on Linear Kripke Models.
J. Log. Comput.
Rosalie Iemhoff
2005 J jnl
Intermediate Logics and Visser's Rules.
Notre Dame J. Formal Log.
Rosalie Iemhoff
2005 B conf
On Interpolation in Existence Logics.
LPAR
Matthias Baaz, Rosalie Iemhoff
2005 — conf
On the Proof Theory of the Existence Predicate.
We Will Show Them! (1)
Matthias Baaz, Rosalie Iemhoff
2005 J jnl
Properties of Intuitionistic Provability and Preservativity Logics.
Log. J. IGPL
Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou
2003 J jnl
Preservativity logic: An analogue of interpretability logic for constructive theories.
Math. Log. Q.
Rosalie Iemhoff
2003 B conf
Towards a Proof System for Admissibility.
CSL
Rosalie Iemhoff
2001 J jnl
A (nother) characterization of intuitionistic propositional logic.
Ann. Pure Appl. Log.
Rosalie Iemhoff
2001 J jnl
On The Admissible Rules of Intuitionistic Propositional Logic.
J. Symb. Log.
Rosalie Iemhoff
1998 B conf
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.
Advances in Modal Logic
Rosalie Iemhoff