RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Артемов Сергей Николаевич

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 9
Лекций и докладов: 1

Статистика просмотров:
Эта страница:2107
Страницы публикаций:2029
Полные тексты:663
Списки литературы:243
E-mail:

http://www.mathnet.ru/rus/person14166
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:artemov.sergei-n
https://mathscinet.ams.org/mathscinet/MRAuthorID/225352
http://elibrary.ru/author_items.asp?authorid=7523

Публикации в базе данных Math-Net.Ru
2004
1. С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004),  9–36  mathnet  mathscinet  zmath  elib; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229  isi  scopus
2003
2. С. Н. Артемов, “Погружение модального $\lambda$-исчисления в логику доказательств”, Тр. МИАН, 242 (2003),  44–58  mathnet  mathscinet  zmath; S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Proc. Steklov Inst. Math., 242 (2003), 36–49
2001
3. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi
1990
4. С. Н. Артемов, “O равномерной арифметической полноте модальных логик доказуемости”, Матем. заметки, 48:1 (1990),  3–9  mathnet  mathscinet  zmath; S. N. Artemov, “Uniform arithmetical completeness of modal provability logics”, Math. Notes, 48:1 (1990), 625–629  isi
1988
5. С. Н. Артемов, “Степени неразрешимости расширений арифметики истин­ными предложениями”, УМН, 43:2(260) (1988),  127–128  mathnet  mathscinet  zmath; S. N. Artemov, “Degrees of insolubility of extensions of arithmetic by true propositions”, Russian Math. Surveys, 43:2 (1988), 159–160  isi
1986
6. С. Н. Артемов, “Суперинтуиционистские логики, имеющие доказуемостную интерпретацию”, Докл. АН СССР, 291:6 (1986),  1289–1291  mathnet  mathscinet  zmath
7. С. Н. Артемов, “Нумерически корректные логики доказуемости”, Докл. АН СССР, 290:6 (1986),  1289–1292  mathnet  mathscinet  zmath
1985
8. С. Н. Артемов, “Неарифметичность истинностных предикатных логик доказуемости”, Докл. АН СССР, 284:2 (1985),  270–271  mathnet  mathscinet  zmath
9. С. Н. Артемов, “О модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 49:6 (1985),  1123–1154  mathnet  mathscinet  zmath; S. N. Artemov, “On modal logics axiomatizing provability”, Math. USSR-Izv., 27:3 (1986), 401–429

Доклады и лекции в базе данных Math-Net.Ru
1. Rebuilding epistemic logic
Sergei N. Artemov
Logical Perspectives 2018
18 мая 2018 г. 15:00   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019