Evan Goris

According to our database, Evan Goris authored at least 12 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Theory and application of labelling techniques for interpretability logics.

Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec

Math. Log. Q., 2022

2020

Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories.

Evan Goris, Joost J. Joosten

J. Symb. Log., 2020

2012

Self provers and Σ₁ sentences.

Evan Goris, Joost J. Joosten

Log. J. IGPL, 2012

2011

A new principle in the interpretability logic of all reasonable arithmetical theories.

Evan Goris, Joost J. Joosten

Log. J. IGPL, 2011

2009

A modal provability logic of explicit and implicit proofs.

Evan Goris

Ann. Pure Appl. Log., 2009

2008

Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.

Evan Goris

Theory Comput. Syst., 2008

Modal Matters for Interpretability Logics.

Evan Goris, Joost J. Joosten

Log. J. IGPL, 2008

2007

Explicit Proofs in Formal Provability Logic.

Evan Goris

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Interpolation and the Interpretability Logic of PA.

Evan Goris

Notre Dame J. Formal Log., 2006

Logic of Proofs for Bounded Arithmetic.

Evan Goris

Proceedings of the Computer Science, 2006

2005

PDL for Ordered Trees.

Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke

J. Appl. Non Class. Logics, 2005

Looping Caterpillars.

Evan Goris, Maarten Marx

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005