Research output per year
Research output per year
Personal profile
Link to Utrecht University staff page
Fingerprint
Dive into the research topics where Rosalie Iemhoff is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Uniform lyndon interpolation for basic non-normal modal and conditional logics
Akbartabatabai, S., Iemhoff, R. & Jalali Keshavarz, R., Sept 2025, In: Journal of Logic and Computation. 35, 6, exae057.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Dick de Jongh on Intuitionistic and Provability Logics
Bezhanishvili, N. (Editor), Iemhoff, R. (Editor) & Yang, F. (Editor), 24 Jul 2024, Cham: Springer. 384 p. (Outstanding Contributions to Logic; vol. 28)Research output: Book/Report › Book editing › Academic › peer-review
-
Proof Theory for Lax Logic
Iemhoff, R., 2024, Dick de Jongh on Intuitionistic and Provability Logics . Bezhanishvili, N., Iemhoff, R. & Yang, F. (eds.). Cham: Springer, p. 203–229 27 p. (Outstanding Contributions to Logic; vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile -
A new calculus for intuitionistic Strong Loeb logic: strong termination and cut-elimination, formalised
Shilito, I., van der Giessen, I., Gore, R. & Iemhoff, R., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 73-93 (Lecture Notes in Computer Science; vol. 14278).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Logics and Admissible Rules of Constructive Set Theories
Iemhoff, R. & Passmann, R., 29 May 2023, In: Philosophical Transactions of the Royal Society A. 381, 2248, p. 1-17 17 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
-
The Logic and Logical Inferences of Constructive Set Theories
Iemhoff, R. (Keynote speaker)
10 Sept 2025Activity: Talk or presentation › Invited talk › Academic
-
On the existence of proof systems
Iemhoff, R. (Invited speaker)
15 May 2025Activity: Talk or presentation › Invited talk › Academic
-
On the existence of sequent calculi
Iemhoff, R. (Invited speaker)
15 Feb 2022Activity: Talk or presentation › Invited talk › Academic
-
Positive and negative results in universal proof theory
Iemhoff, R. (Invited speaker)
13 Dec 2022 → 16 Dec 2022Activity: Talk or presentation › Schools engagement › Academic
-
Proof Society Autumn School and Workshop 2022
Iemhoff, R. (Organiser)
7 Nov 2022 → 12 Nov 2022Activity: Participating in or organising an event › Conference › Academic