77 citations to https://www.mathnet.ru/rus/rm1401
  1. Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Труды МИАН, 289, МАИК «Наука/Интерпериодика», М., 2015, 206–226  mathnet  crossref  elib; F. N. Pakhomov, “On elementary theories of ordinal notation systems based on reflection principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212  crossref  isi
  2. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  crossref  isi  elib
  3. Shamkanov D., “Nested Sequents For Provability Logic Glp”, Log. J. IGPL, 23:5 (2015), 789–815  crossref  mathscinet  zmath  isi
  4. Beklemishev L., “Positive Provability Logic for Uniform Reflection Principles”, Ann. Pure Appl. Log., 165:1, SI (2014), 82–105  crossref  mathscinet  zmath  isi  scopus
  5. Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze’s provability logic”, Arch. Math. Logic, 2014  crossref  mathscinet  isi
  6. Shavrukov V.Yu., Visser A., “Uniform Density in Lindenbaum Algebras”, Notre Dame J. Form. Log., 55:4 (2014), 569–582  crossref  mathscinet  zmath  isi
  7. Volker Halbach, Albert Visser, Studies in Universal Logic, The Life and Work of Leon Henkin, 2014, 249  crossref
  8. Lev Beklemishev, David Gabelaia, Outstanding Contributions to Logic, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257  crossref
  9. Walter Dean, Hidenori Kurokawa, “The Paradox of the Knower revisited”, Annals of Pure and Applied Logic, 2013  crossref  mathscinet  isi
  10. Beklemishev L., Gabelaia D., “Topological Completeness of the Provability Logic Glp”, Ann. Pure Appl. Log., 164:12, SI (2013), 1201–1223  crossref  mathscinet  zmath  isi  elib  scopus
Предыдущая
1
2
3
4
5
6
7
8
Следующая