publications

R. Iemhoff and R. Passmann. Logics and Admissible Rules of Constructive Set Theories.
Philosophical Transactions of the Royal Society A 381.2248, 2023. pdf [Wrong]

A. Akbar Tabatabai, R. Iemhoff, and R. Jalali. Uniform Lyndon interpolation for intuitonistic monotone modal logic.
In: Advances in Modal Logic, Volume 14. D. Fernández-Duque, A. Palmigiano and S. Pinchinat (eds.), College Publications, 2022, p. 77-96. pdf [Wrong]

R. Iemhoff. The G4i Analogue of a G3i Sequent Calculus.
Studia Logica 110 (6), 2022, p. 1493-1506. pdf [Wrong]

A. Akbar Tabatabai, R. Iemhoff, and R. Jalali. Uniform Lyndon interpolation for Basic Non-normal Modal and Conditional Logics.
Journal of Logic and Computation, special issue on Logic, Language, Information and Computation. WoLLIC 2021. A. Silva, R. Wassermann and R. de Quieroz (eds.), 2021, accepted for publication. pdf [Arxiv]

A. Akbar Tabatabai, R. Iemhoff, and R. Jalali. Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.
In: Logic, Language, Information and Computation. WoLLIC 2021. Lecture Notes in Computer Science, vol 13038. A. Silva, R. Wassermann and R. de Quieroz (eds.), Springer, 2021, p. 287-301. pdf [Wrong]

R. Iemhoff. Proof Theory for Lax Logic.
Dick de Jongh 80, accepted for publication. pdf [Arxiv]

R. Iemhoff and R. Passmann. Logics of Intuitionistic Kripke-Platek Set Theory.
Annals of Pure and Applied Logic 172 (10), 2021. pdf [Wrong]

I. van der Giessen and R. Iemhoff. Proof Theory for Intuitionistic Strong Löb Logic.
Accepted for Publication. pdf [Wrong]

I. van der Giessen and R. Iemhoff. Sequent Calculi for Intuitionistic Gödel-Löb Logic.
Notre Dame Journal of Formal Logic 62 (2), 2021, p. 221-246. pdf

I. Ciardelli, R. Iemhoff, and F. Yang. Questions and dependency in intuitionistic logic.
Notre Dame Journal of Formal Logic 61 (1), 2020, p. 75-115. pdf

R. Iemhoff. Uniform interpolation and the existence of sequent calculi.
Annals of Pure and Applied Logic 170 (11), 2019, p. 1-37. pdf

R. Iemhoff. Uniform interpolation and sequent calculi in modal logic.
Archive for Mathematical Logic 58 (1-2), 2019, p. 155-181. pdf

R. Iemhoff. The Skolemization of Prenex Formulas in Intermediate Logics.
Indagationes Mathematicae 30 (3), special issue L.E.J. Brouwer, fifty years later, 2019, p. 470-491. pdf [wrong version]

R. Iemhoff. Terminating Sequent Calculi for Two Intuitionistic Modal Logics.
Journal of Logic and Computation 28 (7), 2018, p. 1701-1712. pdf

R. Iemhoff. On the existence of alternative Skolemization methods.
IfColog Journal of Logics and their Applications, Special Issue Dedicated to the Memory of Grigori Mints 4 (4), 2017, p. 1075-1086. pdf

R. Iemhoff. Remarks on simple proofs.
In: Simplicity: Ideals of Practice in Mathematics & the Arts. R. Kossak and P. Ording (eds.), Springer, 2017. pdf

R. Iemhoff and F. Yang. Structural completeness in propositional logics of dependence.
Archive for Mathematical Logic 55 (7), 2016, p. 955-975. pdf

G. Bezhanishvili, N. Bezhanishvili and R. Iemhoff. Stable canonical rules.
Journal of Symbolic Logic 81 (1), 2016, p. 284-315. pdf

M. Baaz and R. Iemhoff. Skolemization in intermediate logics with the finite model property.
Logic Journal of the IGPL 24 (3), 2016, p. 224-237. pdf

R. Iemhoff Consequence relations and admissible rules.
Journal of Philosophical Logic 45 (3), 2016, p. 327-348. pdf

R. Iemhoff. A syntactic approach to unification in transitive reflexive modal logics.
Notre Dame Journal of Formal Logic 57 (2), 2016, p. 233-247. pdf

R. Iemhoff. On Rules.
Journal of Philosophical Logic 44 (6), 2015, p. 697-711. pdf

R. Iemhoff and P. Rozière. Unification in fragments of intermediate logics.
Journal of Symbolic Logic 80 (3), 2015, p. 713-729. pdf

J. Goudsmit and R. Iemhoff. On unification and admissible rules in Gabbay-de Jongh logics.
Annals of Pure and Applied Logic 165 (2), 2014, p. 651-672. pdf

M. Baaz and R. Iemhoff. Eskolemization in intuitionistic logic.
Journal of Logic and Computation 21 (4), 2011, p. 625-638. pdf

R. Iemhoff. The eskolemization of universal quantifiers.
Annals of Pure and Applied Logic 162 (3), 2010, p. 201-212. pdf

R. Iemhoff. Kripke models for subtheories of CZF.
Archive for Mathematical Logic 49 (2), 2010, p. 147-167. pdf

R. Iemhoff and G. Metcalfe. Hypersequent systems for the admissible rules of modal and intermediate logics.
In: Lecture Notes in Computer Science 5407, Proceedings of LFCS ’09, S. Artemov and A. Nerode (eds.), Springer, 2009, p. 230-245. pdf

R. Iemhoff and G. Metcalfe. Proof theory for admissibility
Annals of Pure and Applied Logic 159 (1-2), 2009, p. 171-186. pdf

R. Iemhoff. Intuitionism in the Philosophy of Mathematics.
Stanford Encyclopedia of Philosophy, September 2008. link

M. Baaz and R. Iemhoff. On Skolemization in constructive theories.
Journal of Symbolic Logic 73 (3), 2008, p. 969-998. pdf

S. Artemov and R. Iemhoff. The Basic Intuitionistic Logic of Proofs.
Journal of Symbolic Logic 72 (2), 2007, p. 439-451. pdf

M. Baaz and R. Iemhoff. On the Skolemization of existential quantifiers in intuitionistic logic.
Annals of Pure and Applied Logic 142 (1-3), 2006, p. 269-295. pdf

M. Baaz and R. Iemhoff. Gentzen calculi for the existence predicate.
Studia Logica 82 (1), 2006, p. 7-23. pdf

R. Iemhoff. On the rules of intermediate logics.
Archive for Mathematical Logic 45 (5), 2006, p. 581-599. pdf

M. Baaz and R. Iemhoff. On the proof theory of the existence predicate.
In: We will show them! Essays in honour of Dov Gabbay, S. Artemov, H. Barringer, A. Garcez, L. Lamb, and J. Woods (eds.). King’s College Publications, 2005. pdf

M. Baaz and R. Iemhoff. On the interpolation in existence logics.
Proceedings LPAR 2005, Lecture Notes in Computer Science 3835, 2005, p. 697-711. pdf

R. Iemhoff. A note on linear Kripke models.
Journal of Logic and Computation 15 (4), 2005, p. 489-506. pdf

R. Iemhoff, D. de Jongh, and C. Zhou. Properties of Intuitionistic Provability and Preservativity Logics.
COMBLOG ’04, Logic Journal of the IGPL 13 (6), 2005. pdf

R. Iemhoff. Intermediate logics and Vissers’s rules.
Notre Dame Journal of Formal Logic 46 (1), 2005, p. 65-81. pdf

S. Artemov and R. Iemhoff. From de Jongh’s theorem to intuitionistic logic of proofs.
Dick de Jongh’s Festschrift, University of Amsterdam, 2004. pdf

R. Iemhoff. Towards a proof system for admissibility.
In: Computer Science Logic ’03. M. Baaz and A. Makowsky (eds.), Springer, 2003, p. 255-270. pdf

R. Iemhoff. Preservativity Logic. (An analogue of interpretability logic for constructive theories).
Mathematical Logic Quarterly 49 (3), 2003, p. 1-21. pdf

R. Iemhoff. A(nother) characterization of Intuitionistic Propositional Logic.
Annals of Pure and Applied Logic 113 (1-3), 2001, p. 161-173. pdf

R. Iemhoff. On the admissible rules of Intuitionistic Propositional Logic.
Journal of Symbolic Logic 66, 2001, p. 281-294. pdf

R, Iemhoff. A modal analysis of some principles of the provability logic of Heyting arithmetic.
In: Advances in Modal Logic, Volume 2. M. de Rijke, K. Segerberg, H. Wansing, M. Zakharyaschev (eds.), CSLI Publications, 2001, p. 319-354. pdf

R. Iemhoff. Provability logic and admissible rules.
PhD thesis , University of Amsterdam, 2001 pdf

Scroll to Top