Rosalie Iemhoff

	2009
14		Rosalie Iemhoff, George Metcalfe: Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS 2009: 230-245
13		Rosalie Iemhoff, George Metcalfe: Proof theory for admissible rules. Ann. Pure Appl. Logic 159(1-2): 171-186 (2009)
	2006
12		Matthias Baaz, Rosalie Iemhoff: The Skolemization of existential quantifiers in intuitionistic logic. Ann. Pure Appl. Logic 142(1-3): 269-295 (2006)
11		Rosalie Iemhoff: On the rules of intermediate logics. Arch. Math. Log. 45(5): 581-599 (2006)
10		Matthias Baaz, Rosalie Iemhoff: Gentzen Calculi for the Existence Predicate. Studia Logica 82(1): 7-23 (2006)
	2005
9		Matthias Baaz, Rosalie Iemhoff: On Interpolation in Existence Logics. LPAR 2005: 697-711
8		Matthias Baaz, Rosalie Iemhoff: On the Proof Theory of the Existence Predicate. We Will Show Them! (1) 2005: 125-166
7		Rosalie Iemhoff: A Note on Linear Kripke Models. J. Log. Comput. 15(4): 489-506 (2005)
6		Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou: Properties of Intuitionistic Provability and Preservativity Logics. Logic Journal of the IGPL 13(6): 615-636 (2005)
	2003
5		Rosalie Iemhoff: Towards a Proof System for Admissibility. CSL 2003: 255-270
4		Rosalie Iemhoff: Preservativity logic: An analogue of interpretability logic for constructive theories. Math. Log. Q. 49(3): 230-249 (2003)
	2001
3		Rosalie Iemhoff: A (nother) characterization of intuitionistic propositional logic. Ann. Pure Appl. Logic 113(1-3): 161-173 (2001)
2		Rosalie Iemhoff: On The Admissible Rules of Intuitionistic Propositional Logic. J. Symb. Log. 66(1): 281-294 (2001)
	1998
1		Rosalie Iemhoff: A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Advances in Modal Logic 1998: 301-336

Coauthor Index

1	Matthias Baaz	[8] [9] [10] [12]
2	Dick De Jongh	[6]
3	George Metcalfe	[13] [14]
4	Chunlai Zhou	[6]

Colors in the list of coauthors