16 citations to https://www.mathnet.ru/rus/stlog2
  1. Ana de Almeida Borges, Joost J. Joosten, “Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic”, Stud Logica, 2024  crossref
  2. David Fernández-Duque, Eduardo Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758  crossref
  3. 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
  4. Ilya Shapirovsky, “Satisfiability Problems on Sums of Kripke Frames”, ACM Trans. Comput. Logic, 23:3 (2022), 1  crossref
  5. 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
  6. David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten, Lecture Notes in Computer Science, 13137, Logical Foundations of Computer Science, 2022, 52  crossref
  7. JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86:3 (2021), 1006  crossref
  8. David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195  crossref
  9. 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
  10. 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
1
2
Следующая