16 citations to https://www.mathnet.ru/eng/stlog2
  1. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  mathnet  mathnet  crossref  crossref  isi  scopus
  2. ANDRÉS CORDÓN-FRANCO, DAVID FERNÁNDEZ-DUQUE, JOOST J. JOOSTEN, FRANCISCO FÉLIX LARA-MARTÍN, “PREDICATIVITY THROUGH TRANSFINITE REFLECTION”, J. symb. log., 82:3 (2017), 787  crossref
  3. Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104:6 (2016), 1225  crossref
  4. F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199  mathnet  mathnet  crossref  crossref  isi  scopus
  5. F. Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967  mathnet  crossref  isi  scopus
  6. David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53:3-4 (2014), 385  crossref
Previous
1
2