Evan Goris

12 papers A* 1Misc 2Journal 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Theory and application of labelling techniques for interpretability logics.
Math. Log. Q.
Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
2020 J jnl
Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories.
J. Symb. Log.
Evan Goris, Joost J. Joosten
2012 J jnl
Self provers and Σ
Log. J. IGPL
Evan Goris, Joost J. Joosten
2011 J jnl
A new principle in the interpretability logic of all reasonable arithmetical theories.
Log. J. IGPL
Evan Goris, Joost J. Joosten
2009 J jnl
A modal provability logic of explicit and implicit proofs.
Ann. Pure Appl. Log.
Evan Goris
2008 J jnl
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
Theory Comput. Syst.
Evan Goris
2008 J jnl
Modal Matters for Interpretability Logics.
Log. J. IGPL
Evan Goris, Joost J. Joosten
2007 Misc conf
Explicit Proofs in Formal Provability Logic.
LFCS
Evan Goris
2006 J jnl
Interpolation and the Interpretability Logic of PA.
Notre Dame J. Formal Log.
Evan Goris
2006 Misc conf
Logic of Proofs for Bounded Arithmetic.
CSR
Evan Goris
2005 A* conf
Looping Caterpillars.
LICS
Evan Goris, Maarten Marx
2005 J jnl
PDL for Ordered Trees.
J. Appl. Non Class. Logics
Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke