-/- Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Gödel’s incompleteness theorems of 1931 and Löb’s theorem of 1953. As a modal logic, provability logic has been studied since the early seventies, and has had important applications in the foundations of mathematics. -/- From a philosophical point of view, provability logic is interesting because (...) the concept of provability in a fixed theory of arithmetic has a unique and non-problematic meaning, other than concepts like necessity and knowledge studied in modal and epistemic logic. Furthermore, provability logic provides tools to study the notion of self-reference. (shrink)

The cut-free validity theory $$\textsf{STV}$$ proposed by Barrio, Rosenblatt, and Tajer suffers from incompleteness with respect to its object language validity predicate. The validity predicate of $$\textsf{STV}$$ fails in validating some valid inferences of its underlying logic, the Strict Tolerant logic $$\textsf{ST}$$. In this paper, we will present the non-normal modal logic $$\textsf{ST}^{\Box \Diamond }$$ whose modalities $$\Box $$ and $$\Diamond $$ capture the tautologies/valid inferences and the consistent formulas of the logic $$\textsf{ST}$$, respectively. We show that $$\textsf{ST}^{\Box \Diamond }$$ (...) does not trivialize when extended with self-referential devices. We also show that such a solution poses a dilemma. If we extend $$\textsf{ST}^{\Box \Diamond }$$ in such a way that it allows iterated modal formulas among its theorems, then the resulting interpretation of $$\Box $$ as validity implies that metametainferences of $$\textsf{ST}$$ behave like classical logic. On the other hand, if we allow these modalities to receive intermediate truth values, we obtain formulas incompatible with the proposed reading of $$\Box $$. (shrink)