The persistence principle over weak interpretability logic

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic…