15 citations to https://www.mathnet.ru/rus/apal1
  1. Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4 (2018), 3–52  mathnet  crossref  isi  scopus; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  mathnet  crossref
  2. М. В. Святловский, “Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик”, Матем. заметки, 103:6 (2018), 884–901  mathnet  crossref  isi  scopus; M. V. Svyatlovskiy, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Math. Notes, 103:6 (2018), 952–967  mathnet  crossref
  3. Lev Beklemishev, “A note on strictly positive logics and word rewriting systems”, Outst. Contrib. Log., 15 (2018), 61–70  mathnet  crossref  isi  scopus
  4. Gerald Berger, L. D. Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze's polymodal provability logic”, Log. J. IGPL, 26:5 (2018), 505–538  mathnet  crossref  isi  scopus
  5. Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388 (2017), 48–67  mathnet  crossref  isi  scopus
Предыдущая
1
2