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