15 citations to https://www.mathnet.ru/rus/stlog2
  1. David Fernández-Duque, Eduardo Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758  crossref
  2. Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Ann. Pure Appl. Logic, 173:5 (2022), 103093–41  mathnet  crossref
  3. Ilya Shapirovsky, “Satisfiability Problems on Sums of Kripke Frames”, ACM Trans. Comput. Logic, 23:3 (2022), 1  crossref
  4. 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
  5. David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten, Lecture Notes in Computer Science, 13137, Logical Foundations of Computer Science, 2022, 52  crossref
  6. JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86:3 (2021), 1006  crossref
  7. David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195  crossref
  8. David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169:4 (2018), 333  crossref
  9. Gerald Berger, L. D. Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze's polymodal provability logic”, Log. J. IGPL, 26:5 (2018), 505–538  mathnet  crossref  isi  scopus
  10. Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4 (2018), 3–52  mathnet  crossref  isi  scopus; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  mathnet  crossref
1
2
Следующая