Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР. Сер. матем., 53:5 (1989), 915–943 ; L. D. Beklemishev, “On the classification of propositional provability logics”, Math. USSR-Izv., 35:2 (1990), 247–275