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