Evan Goris - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2022

Theory and application of labelling techniques for interpretability logicsEvan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec. mlq, 68(3):352-374, 2022. [doi]

2020

Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical TheoriesEvan Goris, Joost J. Joosten. JSYML, 85(1):1-25, 2020. [doi]

2012

1 sentencesEvan Goris, Joost J. Joosten. igpl, 20(1):1-21, 2012. [doi]

2011

A new principle in the interpretability logic of all reasonable arithmetical theoriesEvan Goris, Joost J. Joosten. igpl, 19(1):1-17, 2011. [doi]

2009

A modal provability logic of explicit and implicit proofsEvan Goris. APAL, 161(3):388-403, 2009. [doi]

2008

Feasible Operations on Proofs: The Logic of Proofs for Bounded ArithmeticEvan Goris. mst, 43(2):185-203, 2008. [doi]

Modal Matters for Interpretability LogicsEvan Goris, Joost J. Joosten. igpl, 16(4):371-412, 2008. [doi]

2007

Explicit Proofs in Formal Provability LogicEvan Goris. lfcs 2007: 241-253 [doi]

2006

Logic of Proofs for Bounded ArithmeticEvan Goris. csr 2006: 191-201 [doi]

Interpolation and the Interpretability Logic of PAEvan Goris. ndjfl, 47(2):179-195, 2006. [doi]

2005

PDL for Ordered TreesLoredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke. jancl, 15(2):115-135, 2005.

Looping CaterpillarsEvan Goris, Maarten Marx. lics 2005: 51-60 [doi]

Sign in or sign up to see more results.

runs on WebDSL