 | 2012 |
|---|
| 10 |       | Evan Goris,
Joost J. Joosten:
Self provers and Σ1 sentences.
Logic Journal of the IGPL 20(1): 1-21 (2012) |
| 2011 |
|---|
| 9 | | Evan Goris,
Joost J. Joosten:
A new principle in the interpretability logic of all reasonable arithmetical theories.
Logic Journal of the IGPL 19(1): 1-17 (2011) |
| 2009 |
|---|
| 8 | | Evan Goris:
A modal provability logic of explicit and implicit proofs.
Ann. Pure Appl. Logic 161(3): 388-403 (2009) |
| 2008 |
|---|
| 7 | | Evan Goris,
Joost J. Joosten:
Modal Matters for Interpretability Logics.
Logic Journal of the IGPL 16(4): 371-412 (2008) |
| 6 | | Evan Goris:
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
Theory Comput. Syst. 43(2): 185-203 (2008) |
| 2007 |
|---|
| 5 | | Evan Goris:
Explicit Proofs in Formal Provability Logic.
LFCS 2007: 241-253 |
| 2006 |
|---|
| 4 | | Evan Goris:
Logic of Proofs for Bounded Arithmetic.
CSR 2006: 191-201 |
| 3 | | Evan Goris:
Interpolation and the Interpretability Logic of PA.
Notre Dame Journal of Formal Logic 47(2): 179-195 (2006) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page