Publications
2022
Scholarly publications
Iemhoff, R., Akbar Tabatabai, A., & Jalali Keshavarz, R. (Accepted/In press). Uniform Lyndon interpolation for intuitionistic mono- tone modal logic. Journal of Logic and Computation.
Iemhoff, R., & Passmann, R. (Accepted/In press). Logics and Admissible Rules of Constructive Set Theories. Philosophical Transactions of the Royal Society A.
2021
Scholarly publications
Iemhoff, R., Akbartabatabai, S., & Jalali Keshavarz, R. (2021). Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. In A. Silva, R. Wassermann, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings (1 ed., pp. 287-301). (Lecture Notes in Computer Science; Vol. 13038). Springer Cham. https://doi.org/10.1007/978-3-030-88853-4_18
Iemhoff, R. (Accepted/In press). Proof Theory for Lax Logic. Outstanding Contributions to Logic.
Iemhoff, R. (Accepted/In press). The G4i analogue of a G3i calculus. Studia Logica. https://link.springer.com/article/10.1007/s11225-022-10008-3
Iemhoff, R., & Passmann, R. (Accepted/In press). Logics of Intuitionistic Kripke-Platek Set Theory. Annals of Pure and Applied Logic. https://arxiv.org/abs/2007.05450
van der Giessen, I., & Iemhoff, R. (2021). Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame Journal of Formal Logic, 62(2), 221-246. https://doi.org/10.1215/00294527-2021-0011
2020
Scholarly publications
van der Giessen, I., & Iemhoff, R. (Accepted/In press). Proof Theory for Intuitionistic Strong Löb Logic. Special Volume of Workshop Proofs!, Paris 2017. https://arxiv.org/abs/2011.10383
Iemhoff, R., Yang, F., & Ciardelli, I. (2020). Questions and dependency in intuitionistic logic. The Notre Dame Journal of Formal Logic, 61(1), 75-115. https://doi.org/10.1215/00294527-2019-0033
2019
Scholarly publications
Iemhoff, R. (2019). Uniform interpolation and the existence of sequent calculi. Annals of Pure and Applied Logic, 170(11), [102711]. https://doi.org/10.1016/j.apal.2019.05.008
Iemhoff, R. (2019). The Skolemization of Prenex Formulas in Intermediate Logics. Indagationes Mathematicae, 30(3), 470-491. https://doi.org/10.1016/j.indag.2019.01.002
Iemhoff, R. (2019). Uniform interpolation and sequent calculi in modal logic. Archive for Mathematical Logic, 58(1-2), 155-181. https://doi.org/10.1007/s00153-018-0629-0
2018
Scholarly publications
Iemhoff, R. (2018). Terminating Sequent Calculi for Two Intuitionistic Modal Logics. Journal of Logic and Computation, 28(7), 1701-1712.
2017
Scholarly publications
Iemhoff, R. (2017). Remarks on simple proofs. In R. Kossak, & P. Ording (Eds.), Simplicity: Ideals of Practice in Mathematics and the Arts (pp. 143-151). (Mathematics, Culture, and the Arts). Springer. https://doi.org/10.1007/978-3-319-53385-8_12
2016
Scholarly publications
Iemhoff, R. (2016). Reasoning in circles. In J. van Eijck, J. Joosten, & R. Iemhoff (Eds.), Liber Amicorum Alberti. A Tribute to Albert Visser. (pp. 165-178). College Publications.
Iemhoff, R. (Accepted/In press). On the existence of alternative Skolemization methods. IfCoLog Journal of Logics and their Applications.
Iemhoff, R., & Yang, F. (2016). Structural completeness in propositional logics of dependence. Archive for Mathematical Logic, 55(7), 955-975. https://doi.org/10.1007/s00153-016-0505-8
Iemhoff, R. (2016). A syntactic approach to unification in transitive reflexive modal logics. Notre Dame Journal of Formal Logic, 57 (2), 233-247.
Iemhoff, R., Bezhanishvili, N., & Bezhanishvili, G. (2016). Stable canonical rules. Journal of Symbolic Logic, 81(01), 284 - 315. https://doi.org/10.1017/jsl.2015.54
Iemhoff, R., & Baaz, M. (2016). Skolemization in intermediate logics with the finite model property. Logic Journal of the IGPL, 24 (3), 224-237. https://doi.org/10.1093/jigpal/jzw010
Iemhoff, R. (2016). Consequence relations and admissible rules. Journal of Philosophical Logic, 45(3), 327-348. https://doi.org/10.1007/s10992-015-9380-8
2015
Scholarly publications
Iemhoff, R., & Roziere, P. (2015). Unification in Intermediate Logics. Journal of Symbolic Logic, 80(3), 713-729. https://doi.org/10.1017/jsl.2015.5
Iemhoff, R. (2015). On Rules. Journal of Philosophical Logic, 44(6), 697-711.
2014
Scholarly publications
Goudsmit, J. P., & Iemhoff, R. (2014). On unification and admissible rules in Gabbay-de Jongh logics. Annals of Pure and Applied Logic, 165(2), 652-672. https://doi.org/10.1016/j.apal.2013.09.003
https://dspace.library.uu.nl/bitstream/handle/1874/427223/preprint297.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/427223/preprint297.pdf?sequence=1
2013
Scholarly publications
Iemhoff, R. (2013). Unification in transitive reflexive modal logics. Logic Group preprint series: http://www.phil.uu.nl/preprints/lgps/.
2010
Scholarly publications
Iemhoff, R. (2010). The eskolemization of universal quantfiers. Annals of Pure and Applied Logic, 162, 201-212.
Iemhoff, R. (2010). Krachtige bewijzen. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 102, 254-260.
2009
Scholarly publications
Iemhoff, R., & Metcalfe, G. (2009). Proof theory for admissible rules. Annals of Pure and Applied Logic, (159 (1-2)), 171-186.
https://dspace.library.uu.nl/bitstream/handle/1874/353964/5._Proof_theory_for_admissibile_rules.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/353964/5._Proof_theory_for_admissibile_rules.pdf?sequence=1
Iemhoff, R., & Baaz, M. (2009). Eskolemization in intuitionistic logic. Journal of Logic and Computation, doi:10.109.
Iemhoff, R. (2009). Kripke models for subtheories of CZF. Archive for Mathematical Logic, doi: 10.10.
Iemhoff, R. (2009). Hypersequent systems for the admissible rules of modal and intermediate logics. In Lecture Notes in Computer Science 5407, Proceedings of LFCS '09 (pp. 230-245). Springer.
2008
Scholarly publications
Iemhoff, R. (2008). Intuitionism in the Philosophy of Mathematics. In online Stanford Encyclopedia of Philosophy
Iemhoff, R., & Baaz, M. (2008). On Skolemization in constructive theories. Journal of Symbolic Logic, 73(3), 969-998. http://www.aslonline.org/journals-journal.html
2007
Scholarly publications
Iemhoff, R., & Artemov, S. (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic, 72(2), 439-451.
https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf?sequence=1
2006
Scholarly publications
Iemhoff, R. (2006). On the rules of intermediate logics. Archive for Mathematical Logic, 45(5), 581-599.
Iemhoff, R., & Baaz, M. (2006). Gentzen calculi for the existence predicate. Studia Logica, 82(1).
Iemhoff, R., & Baaz, M. (2006). On the Skolemization of existential quantifiers in intuitionistic logic. Annals of Pure and Applied Logic, 142((1-3)), 269-295.
https://dspace.library.uu.nl/bitstream/handle/1874/353953/8._On_the_Skolemization_of_existential_quantifiers_in_intuitionistic_logic.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/353953/8._On_the_Skolemization_of_existential_quantifiers_in_intuitionistic_logic.pdf?sequence=1
Iemhoff, R., & Baaz, M. (2006). Konstruktivismus und Intuitionismus. Internationale Mathematische Nachrichte, Oesterreich, 150.
2005
Scholarly publications
Iemhoff, R., & Baaz, M. (2005). On the proof theory of the existence predicate. In S. Artemov, H. Barringer, A. Garcez, L. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay King's College Publications.
Iemhoff, R., & Baaz, M. (2005). On interpolation in existence logics. In Proceedings LPAR 2005 (pp. 697-711)
2004
Scholarly publications
Iemhoff, R. (2004). Intermediate logics and Visser's rules. Notre Dame Journal of Formal Logic, 46, 65-81.
Iemhoff, R., de Jongh, D. H. J., & Zhou, C. (2004). Properties of Intuitionistic Provability and Preservativity Logics. In COMBLOG '04
2003
Scholarly publications
Iemhoff, R. (2003). Towards a proof system for admissibility. In M. Baaz, & A. Makowsky (Eds.), Computer Science Logic '03 (pp. 225-270). Springer.
Iemhoff, R., & Artemov, S. (2003). From de Jongh's theorem to intuitionistic logic of proofs. In Dick de Jongh's Festschrift University of Amsterdam.
2002
Scholarly publications
Iemhoff, R. (2002). Preservativity Logic. (An analogue of interpretability logic for constructive theories). Mathematical Logic Quarterly, 49, 1-21.
2001
Scholarly publications
Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, 281-294.
2000
Scholarly publications
Iemhoff, R. (2000). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113, 161-173.
1998
Scholarly publications
Iemhoff, R. (1998). A modal analysis of some principles of the provability logic of Heyting arithmetic. In M. de Rijke, K. Segerberg, H. Wansing, & M. Zakharyaschev (Eds.), Advances in Modal Logic ('98) (pp. 319-354). Stanford, CA: CSLI Publications.