15 citations to https://www.mathnet.ru/rus/apal1
  1. ANA DE ALMEIDA BORGES, JOOST J. JOOSTEN, “AN ESCAPE FROM VARDANYAN'S THEOREM”, J. symb. log., 88:4 (2023), 1613  crossref
  2. Mikhail Svyatlovskiy, “Modal Companions of $K4^{+}$”, Stud Logica, 110:5 (2022), 1327  crossref
  3. David Fernández-Duque, Eduardo Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758  crossref
  4. 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
  5. Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384  mathnet  crossref  isi  scopus
  6. Dan E Willard, “About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction”, Journal of Logic and Computation, 31:1 (2021), 375  crossref
  7. Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61:1 (2020)  crossref
  8. STANISLAV KIKOT, AGI KURUCZ, YOSHIHITO TANAKA, FRANK WOLTER, MICHAEL ZAKHARYASCHEV, “KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS”, J. symb. log., 84:02 (2019), 533  crossref
  9. David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195  crossref
  10. TOMMASO MORASCHINI, “VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS”, The Review of Symbolic Logic, 12:3 (2019), 557  crossref
1
2
Следующая