Positive provability logic for uniform reflection principles

Lev Beklemishev

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker lan…