Rosalie Iemhoff
Orcid: 0000-0001-9975-9604Affiliations:
- Utrecht University, The Netherlands
According to our database1,
Rosalie Iemhoff
authored at least 46 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
2
2
1
2
1
1
6
2
2
1
2
1
1
1
3
3
1
2
1
1
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on phil.uu.nl
-
on orcid.org
-
on d-nb.info
-
on uu.nl
-
on andrej.com
On csauthors.net:
Bibliography
2023
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2022
CoRR, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Proceedings of the Logic, Language, Information, and Computation, 2021
2020
2019
Ann. Pure Appl. Log., 2019
2018
J. Log. Comput., 2018
2017
2016
Notre Dame J. Formal Log., 2016
Log. J. IGPL, 2016
Arch. Math. Log., 2016
2015
2014
Log. J. IGPL, 2014
Ann. Pure Appl. Log., 2014
2013
Proceedings of the Logic, Language, and Computation, 2013
2011
Proceedings of the Logic, Language, Information and Computation, 2011
2010
2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
2007
2006
Ann. Pure Appl. Log., 2006
2005
Log. J. IGPL, 2005
On the Proof Theory of the Existence Predicate.
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.
Math. Log. Q., 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2001
Ann. Pure Appl. Log., 2001
1998
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.
Proceedings of the Advances in Modal Logic 2, 1998