61 citations to 10.1016/j.apal.2003.11.030 (Crossref Cited-By Service)
  1. Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten, “On Provability Logics with Linearly Ordered Modalities”, Stud Logica, 102, № 3, 2014, 541  crossref
  2. Lev Beklemishev, “Positive provability logic for uniform reflection principles”, Annals of Pure and Applied Logic, 165, № 1, 2014, 82  crossref
  3. Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, № 6, 2016, 1225  crossref
  4. Andreas Weiermann, “Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results”, Annals of Pure and Applied Logic, 136, № 1-2, 2005, 189  crossref
  5. Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, № 1, 2020  crossref
  6. L. D. Beklemishev, “On the reduction property for GLP-algebras”, Dokl. Math., 95, № 1, 2017, 50  crossref
  7. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  8. David Fernández-Duque, Eduardo Hermo-Reyes, 11541, Logic, Language, Information, and Computation, 2019, 195  crossref
  9. Mikhail Vladimirovich Svyatlovskiy, “Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик”, Математические заметки, 103, № 6, 2018, 884  crossref
  10. E. V. Dashkov, “On the positive fragment of the polymodal provability logic GLP”, Math Notes, 91, № 3-4, 2012, 318  crossref
Предыдущая
1
2
3
4
5
6
7
Следующая