Source author record

Evan Goris

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Assuring and critical labels for relations between maximal consistent sets for interpretability logics

The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so-called full labels and maximal labels.. After a general treatment of assuringness, we shall apply it to obtain certain completeness results. Namely, we give another proof of completeness of ILW w.r.t. ordinary semantics and of ILP w.r.t. generalised semantics.

preprint2020arXiv

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

The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper from 2011 revolves around the question what logic describes the behavior that is present in all theories with a minimum amount of arithmetic; the intersection over all such theories so to say. We denote this target logic by ${\textbf{IL}}({\rm All})$ . In this paper we present a new principle $\sf R$ in ${\textbf{IL}}({\rm All})$ . We show that $\sf R$ does not follow from the logic ${\textbf{IL}}{\sf P_0W^*}$ that contains all previously known principles. This is done by providing a modal incompleteness proof of ${\textbf{IL}}{\sf P_0W^*}$ : showing that $\sf R$ follows semantically but not syntactically from ${\textbf{IL}}{\sf P_0W^*}$ . Apart from giving the incompleteness proof by elementary methods, we also sketch how to work with so-called Generalized Veltman Semantics as to establish incompleteness. To this extent, a new version of this Generalized Veltman Semantics is defined and studied. Moreover, for the important principles the frame correspondences are calculated. After the modal results it is shown that the new principle $\sf R$ is indeed valid in any arithmetically theory. The proof employs some elementary results on definable cuts in arithmetical theories.

preprint2020arXiv

Modal Matters in Interpretability Logics

This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic ${\textbf{IL}}$ . Next, the method is applied to obtain new results: the modal completeness of the logic ${\textbf{IL}}{\sf M_0}$ , and modal completeness of ${\textbf{IL}}({\sf W^*})$ .

preprint2020arXiv

Self Provers and $Σ_1$ Sentences

This paper from 2012 is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this method, we obtained some completeness results, some already known, and some new. In this paper, we will set the construction method to work to obtain more results. First, the modal completeness of the logic ${\textbf{IL}}({\sf M})$ is proved using the construction method. This is not a new result, but by using our new proof we can obtain new results. Among these new results are some admissible rules for ${\textbf{IL}}({\sf M})$ and ${\textbf{GL}}$ . Moreover, the new proof will be used to classify all the essentially $Δ_1$ and also all the essentially $Σ_1$ formulas of ${\textbf{IL}}({\sf M})$ . Closely related to essentially $Σ_1$ sentences are the so-called \emph{self provers}. A self-prover is a formula $φ$ which implies its own provability, that is $φ\to \Box φ$ . Each formula $φ$ will generate a self prover $φ\wedge \Box φ$ . We will use the construction method to characterize those sentences of ${\textbf{GL}}$ that generate a self prover that is trivial in the sense that it is $Σ_1$ .

preprint2015arXiv

Two series of formalized interpretability principles for weak systems of arithmetic

The provability logic of a theory $T$ captures the structural behavior of formalized provability in $T$ as provable in $T$ itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations. The logic IL(All) is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this paper we raise the previously known lower bound of IL(All) by exhibiting two series of principles which are shown to be provable in any such theory. Moreover, we compute the collection of frame conditions for both series.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Evan Goris

Research overview

Is this your work?

5 publications

Assuring and critical labels for relations between maximal consistent sets for interpretability logics

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

Modal Matters in Interpretability Logics

Self Provers and $Σ_1$ Sentences

Two series of formalized interpretability principles for weak systems of arithmetic

See the researcher in context

Building this map preview

Evan Goris

Research overview

Is this your work?

5 publications

Assuring and critical labels for relations between maximal consistent sets for interpretability logics

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

Modal Matters in Interpretability Logics

Self Provers and Σ1Σ_1Σ1​ Sentences

Two series of formalized interpretability principles for weak systems of arithmetic

See the researcher in context

Building this map preview

Self Provers and $Σ_1$ Sentences