Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Бабёнышев Сергей Валерьевич

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

Статистика просмотров:
Эта страница:295
Страницы публикаций:340
Полные тексты:119
Списки литературы:43
старший научный сотрудник
кандидат физико-математических наук
Дата рождения: 1.01.1970
E-mail: ,

https://www.mathnet.ru/rus/person40206
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2008
1. Vladimir V. Rybakov, Sergej V. Babenyshev, “A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents”, Журн. СФУ. Сер. Матем. и физ., 1:4 (2008),  399–409  mathnet
1993
2. С. В. Бабенышев, “Базисы допустимых правил вывода модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$”, Алгебра и логика, 32:2 (1993),  117–130  mathnet  mathscinet
1992
3. С. В. Бабёнышев, “Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС”, Алгебра и логика, 31:4 (1992),  341–359  mathnet  mathscinet 4

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