Evan Goris

Available identifiers

zbMath Open goris.evanMaRDI QIDQ636277

List of research outcomes

Publication	Date of Publication	Type
Theory and application of labelling techniques for interpretability logics	2023-09-12	Paper
TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES	2020-04-17	Paper
Assuring and critical labels for relations between maximal consistent sets for interpretability logics	2020-03-10	Paper
Two series of formalized interpretability principles for weak systems of arithmetic	2015-03-31	Paper
Self provers and  1 sentences	2012-08-01	Paper
A modal provability logic of explicit and implicit proofs	2011-08-26	Paper
A new principle in the interpretability logic of all reasonable arithmetical theories	2011-03-07	Paper
PDL for ordered trees	2009-11-30	Paper
Modal Matters for Interpretability Logics	2008-11-13	Paper
Feasible operations on proofs: the logic of proofs for bounded arithmetic	2008-06-17	Paper
Explicit Proofs in Formal Provability Logic	2008-01-04	Paper
Logic of Proofs for Bounded Arithmetic	2007-05-02	Paper
Interpolation and the interpretability logic of PA	2007-02-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Evan Goris