Concepedia

Evan Goris

EG

Statistics

Publications

6

Citations

146

H-Index

6

Active since

2005

Affiliations

The Graduate Center, CUNY(Current)

City University of New York

University of Amsterdam

Evan Goris is an author at The Graduate Center, CUNY specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsNon-monotonic LogicTheory Of ComputingMathematical FoundationsSyntax

Publications per year

2005–2020

6

Publications

6

PDL for ordered trees

Loredana Afanasiev, Patrick Blackburn, Ioanna Maria Dimitriou et al. · Journal of Applied Non-Classical Logics · 2005 · 59 citations

Mathematical Programming, Engineering, Well-founded Semantics +17

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

Evan Goris, Joost J. Joosten · Logic Journal of IGPL · 2009 · 23 citations

Theory Of Computing, Non-classical Logic, Reasonable Arithmetical Theories +15

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

Evan Goris · Theory of Computing Systems · 2007 · 21 citations

Engineering, Automated Reasoning, Proof Complexity +10

Modal Matters for Interpretability Logics

Evan Goris, Joost J. Joosten · Logic Journal of IGPL · 2008 · 20 citations

Theory Of Computing, Non-monotonic Logic, Engineering +13

Modal Matters in Interpretability Logics

Evan Goris, Joost J. Joosten · arXiv (Cornell University) · 2020 · 13 citations · Full text

1–5 of 6