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

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

Статистика просмотров:
Эта страница:129
Страницы публикаций:343
Полные тексты:21
Списки литературы:17
Ключевые слова: логика, вычислимость.

Основные темы научной работы

Мои основные научные интересы лежат в области математической логики и теории вычислимости.

   
Основные публикации:
  1. A. V. Grefenshtein, On the quantified version of the Belnap–Dunn modal logic and some extensions of it, 2022, arXiv: 2201.04707

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

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 215:3 (2024),  37–69  mathnet  mathscinet; A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна–2
А. В. Грефенштейн
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
28 февраля 2024 г. 18:15
2. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна
А. В. Грефенштейн
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
21 февраля 2024 г. 18:15
3. On the quantified version of the Belnap-Dunn modal logic and some extensions of it
A. V. Grefenshtein
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
13 июня 2023 г. 12:00   
4. Соотношения между иерархией Хомского и грамматиками Ламбека
А. В. Грефенштейн
Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
1 марта 2023 г. 18:00   
5. Семинар 3. Интуиционистская логика и некоторые конструктивные логики на её основе
А. В. Грефенштейн
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
28 сентября 2022 г. 18:00   

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