Evan Goris

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Theory and application of labelling techniques for interpretability logics Mathematical Logic Quarterly	2023-09-12	Paper
TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES Journal of Symbolic Logic	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 Logic Journal of the IGPL	2012-08-01	Paper
A modal provability logic of explicit and implicit proofs Annals of Pure and Applied Logic	2011-08-26	Paper
A new principle in the interpretability logic of all reasonable arithmetical theories Logic Journal of the IGPL	2011-03-07	Paper
PDL for ordered trees Journal of Applied Non-Classical Logics	2009-11-30	Paper
Modal Matters for Interpretability Logics Logic Journal of the IGPL	2008-11-13	Paper
Feasible operations on proofs: the logic of proofs for bounded arithmetic Theory of Computing Systems	2008-06-17	Paper
Explicit Proofs in Formal Provability Logic Logical Foundations of Computer Science	2008-01-04	Paper
Logic of Proofs for Bounded Arithmetic Computer Science – Theory and Applications	2007-05-02	Paper
Interpolation and the interpretability logic of PA Notre Dame Journal of Formal Logic	2007-02-15	Paper

Research outcomes over time

This page was built for person: Evan Goris