13 citations · 18 across the 5 of their papers we have counts for
5 papers · 1 filter
Modal Matters in Interpretability Logics
Evan Goris, Joost J. Joosten
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…
Self Provers and Sentences
Evan Goris, Joost J. Joosten
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…
A new principle in the interpretability logic of all reasonable arithmetical theories
Evan Goris, Joost J. Joosten
The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper from…
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
Evan Goris, Marta Bílková, Joost J. Joosten +1
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 noti…
Two series of formalized interpretability principles for weak systems of arithmetic
Evan Goris, Joost J. Joosten
The provability logic of a theory captures the structural behavior of formalized provability in as provable in itself. Like provability, one can formalize the notion of…