Evan Goris

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 2

Top Topics

Cognitive Models

Proof Theoretic

Propositional Theories

Modal Operators

Top Venues

Publications

Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68 (3) (2022)
Evan Goris, Joost J. Joosten
Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories. J. Symb. Log. 85 (1) (2020)
Evan Goris, Joost J. Joosten
sentences. Log. J. IGPL 20 (1) (2012)
Evan Goris, Joost J. Joosten
A new principle in the interpretability logic of all reasonable arithmetical theories. Log. J. IGPL 19 (1) (2011)
Evan Goris
A modal provability logic of explicit and implicit proofs. Ann. Pure Appl. Log. 161 (3) (2009)
Evan Goris, Joost J. Joosten
Modal Matters for Interpretability Logics. Log. J. IGPL 16 (4) (2008)
Evan Goris
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic. Theory Comput. Syst. 43 (2) (2008)
Evan Goris
Explicit Proofs in Formal Provability Logic. LFCS (2007)
Evan Goris
Logic of Proofs for Bounded Arithmetic. CSR (2006)
Evan Goris
Interpolation and the Interpretability Logic of PA. Notre Dame J. Formal Log. 47 (2) (2006)
Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
PDL for Ordered Trees. J. Appl. Non Class. Logics 15 (2) (2005)
Evan Goris, Maarten Marx
Looping Caterpillars. LICS (2005)