11 citations to 10.1007/BF00370390 (Crossref Cited-By Service)
  1. L. D. Beklemishev, “Independent enumerations of theories and recursive progressions”, Sib Math J, 33, № 5, 1992, 760  crossref
  2. ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, № 1, 2019, 205  crossref
  3. PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62, № 1-2, 1996, 19  crossref
  4. 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
  5. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  6. Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457  crossref
  7. James Walsh, “Evitable iterates of the consistency operator”, COM, 12, № 1, 2023, 59  crossref
  8. Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475  crossref
  9. Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, № 1, 2020  crossref
  10. Lev D. Beklemishev, “On bimodal logics of provability”, Annals of Pure and Applied Logic, 68, № 2, 1994, 115  crossref
1
2
Следующая