Evan Goris

Available identifiers

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 \(\Sigma_{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

This page was built for person: Evan Goris