13 citations · 70 across the 51 of their papers we have counts for
11 papers · 2 filters
An overview of Generalised Veltman Semantics
Joost J. Joosten, Jan Mas Rovira, Luka Mikec +1
Interpretability logics are endowed with relational semantics à la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 19…
Provability and interpretability logics with restricted realizations
Thomas F. Icard, Joost J. Joosten
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arith…
Interpretability in PRA
Marta Bílková, Dick de Jongh, Joost J. Joosten
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetica…
The interpretability logic of all reasonable arithmetical theories
Joost J. Joosten, Albert Visser
This paper from 2000 is a presentation of a status quæstionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We…
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…