61 citations to 10.1016/j.apal.2003.11.030 (Crossref Cited-By Service)
  1. Lev D. Beklemishev, 10388, Logic, Language, Information, and Computation, 2017, 48  crossref
  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. Евгений Владимирович Дашков, Evgenij Vladimirovich Dashkov, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91, № 3, 2012, 331  crossref
  4. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569  crossref
  5. FEDOR PAKHOMOV, JAMES WALSH, “REFLECTION RANKS AND ORDINAL ANALYSIS”, J. symb. log., 86, № 4, 2021, 1350  crossref
  6. ANTON FREUND, “A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH”, The Review of Symbolic Logic, 15, № 4, 2022, 880  crossref
  7. Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006, 77  crossref
  8. David FernÁndez-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann, “Arithmetical and Hyperarithmetical Worm Battles”, Journal of Logic and Computation, 32, № 8, 2022, 1558  crossref
  9. Joost J. Joosten, 9136, Evolving Computability, 2015, 216  crossref
  10. Gerald Berger, Lev D Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze’s polymodal provability logic”, Logic Journal of the IGPL, 26, № 5, 2018, 505  crossref
Предыдущая
1
2
3
4
5
6
7
Следующая