Evan Goris

	2008
6		Evan Goris, Joost J. Joosten: Modal Matters for Interpretability Logics. Logic Journal of the IGPL 16(4): 371-412 (2008)
5		Evan Goris: Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic. Theory Comput. Syst. 43(2): 185-203 (2008)
	2007
4		Evan Goris: Explicit Proofs in Formal Provability Logic. LFCS 2007: 241-253
	2006
3		Evan Goris: Logic of Proofs for Bounded Arithmetic. CSR 2006: 191-201
	2005
2		Evan Goris, Maarten Marx: Looping Caterpillars. LICS 2005: 51-60
1		Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)

Coauthor Index

1	Loredana Afanasiev	[1]
2	Patrick Blackburn	[1]
3	Ioanna Dimitriou	[1]
4	Bertrand Gaiffe	[1]
5	Joost J. Joosten	[6]
6	Maarten Marx	[1] [2]
7	Maarten de Rijke	[1]

Colors in the list of coauthors