21 citations to 10.1093/logcom/exi038 (Crossref Cited-By Service)
  1. Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, no. 6, 2016, 173  crossref
  2. Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, no. 4(442), 2018, 3  crossref
  3. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, no. 4, 2018, 569  crossref
  4. Евгений Владимирович Дашков, Evgenij Vladimirovich Dashkov, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91, no. 3, 2012, 331  crossref
  5. Albert Visser, “Transductions in arithmetic”, Annals of Pure and Applied Logic, 167, no. 3, 2016, 211  crossref
  6. Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257  crossref
  7. Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze’s provability logic”, Arch. Math. Logic, 53, no. 7-8, 2014, 949  crossref
  8. David Fernández-Duque, Joost J. Joosten, “Models of transfinite provability logic”, J. symb. log., 78, no. 2, 2013, 543  crossref
  9. Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, no. 6, 2016, 1225  crossref
  10. Thomas F. Icard, Joost J. Joosten, “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Formal Logic, 53, no. 2, 2012  crossref
1
2
3
Next