Rosalie Iemhoff

According to our database, Rosalie Iemhoff authored at least 46 papers between 1998 and 2023.

Collaborative distances:

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

2023

Universal Proof Theory, TACL 2022 Lecture Notes.

Rosalie Iemhoff, Raheleh Jalali

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

2022

The G4i Analogue of a G3i Sequent Calculus.

Rosalie Iemhoff

Stud Logica, 2022

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

CoRR, 2022

Uniform Lyndon interpolation for intuitionistic monotone modal logic.

Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Sequent Calculi for Intuitionistic Gödel-Löb Logic.

Iris van der Giessen, Rosalie Iemhoff

Notre Dame J. Formal Log., 2021

Logics of intuitionistic Kripke-Platek set theory.

Rosalie Iemhoff, Robert Paßmann

Ann. Pure Appl. Log., 2021

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Questions and Dependency in Intuitionistic Logic.

Ivano Ciardelli, Rosalie Iemhoff, Fan Yang

Notre Dame J. Formal Log., 2020

2019

Uniform interpolation and the existence of sequent calculi.

Rosalie Iemhoff

Ann. Pure Appl. Log., 2019

Uniform interpolation and sequent calculi in modal logic.

Rosalie Iemhoff

Arch. Math. Log., 2019

2018

Terminating sequent calculi for two intuitionistic modal logics.

Rosalie Iemhoff

J. Log. Comput., 2018

The Existence of Proof Systems.

Rosalie Iemhoff

Proceedings of the Advances in Modal Logic 12, 2018

2017

On the Existence of Alternative Skolemization Methods.

Rosalie Iemhoff

FLAP, 2017

2016

Special Issue on Admissible Rules and Unification.

Rosalie Iemhoff, George Metcalfe

Notre Dame J. Formal Log., 2016

A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.

Rosalie Iemhoff

Notre Dame J. Formal Log., 2016

Stable Canonical Rules.

Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff

J. Symb. Log., 2016

Consequence Relations and Admissible Rules.

Rosalie Iemhoff

J. Philos. Log., 2016

Skolemization in intermediate logics with the finite model property.

Matthias Baaz, Rosalie Iemhoff

Log. J. IGPL, 2016

Structural completeness in propositional logics of dependence.

Rosalie Iemhoff, Fan Yang

Arch. Math. Log., 2016

2015

Unification in Intermediate Logics.

Rosalie Iemhoff, Paul Rozière

J. Symb. Log., 2015

On Rules.

Rosalie Iemhoff

J. Philos. Log., 2015

2014

Editorial: Special issue on non-classical modal and predicate logics.

Petr Cintula, Rosalie Iemhoff, Shier Ju

Log. J. IGPL, 2014

On unification and admissible rules in Gabbay-de Jongh logics.

Jeroen P. Goudsmit, Rosalie Iemhoff

Ann. Pure Appl. Log., 2014

2013

Tutorial on Admissible Rules in Gudauri.

Rosalie Iemhoff

Proceedings of the Logic, Language, and Computation, 2013

2011

Eskolemization in Intuitionistic Logic.

Matthias Baaz, Rosalie Iemhoff

J. Log. Comput., 2011

Unification in Logic.

Rosalie Iemhoff

Proceedings of the Logic, Language, Information and Computation, 2011

2010

The eskolemization of universal quantifiers.

Rosalie Iemhoff

Ann. Pure Appl. Log., 2010

Kripke models for subtheories of CZF.

Rosalie Iemhoff

Arch. Math. Log., 2010

2009

Proof theory for admissible rules.

Rosalie Iemhoff, George Metcalfe

Ann. Pure Appl. Log., 2009

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.

Rosalie Iemhoff, George Metcalfe

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

On Skolemization in constructive theories.

Matthias Baaz, Rosalie Iemhoff

J. Symb. Log., 2008

2007

The basic intuitionistic logic of proofs.

Sergei N. Artëmov, Rosalie Iemhoff

J. Symb. Log., 2007

2006

Gentzen Calculi for the Existence Predicate.

Matthias Baaz, Rosalie Iemhoff

Stud Logica, 2006

The Skolemization of existential quantifiers in intuitionistic logic.

Matthias Baaz, Rosalie Iemhoff

Ann. Pure Appl. Log., 2006

On the rules of intermediate logics.

Rosalie Iemhoff

Arch. Math. Log., 2006

2005

Intermediate Logics and Visser's Rules.

Rosalie Iemhoff

Notre Dame J. Formal Log., 2005

A Note on Linear Kripke Models.

Rosalie Iemhoff

J. Log. Comput., 2005

Properties of Intuitionistic Provability and Preservativity Logics.

Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou

Log. J. IGPL, 2005

On Interpolation in Existence Logics.

Matthias Baaz, Rosalie Iemhoff

Proceedings of the Logic for Programming, 2005

On the Proof Theory of the Existence Predicate.

Matthias Baaz, Rosalie Iemhoff

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003

Preservativity logic: An analogue of interpretability logic for constructive theories.

Rosalie Iemhoff

Math. Log. Q., 2003

Towards a Proof System for Admissibility.

Rosalie Iemhoff

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2001

On The Admissible Rules of Intuitionistic Propositional Logic.

Rosalie Iemhoff

J. Symb. Log., 2001

A (nother) characterization of intuitionistic propositional logic.

Rosalie Iemhoff

Ann. Pure Appl. Log., 2001

1998

A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.

Rosalie Iemhoff

Proceedings of the Advances in Modal Logic 2, 1998