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

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

Статистика просмотров:
Эта страница:1333
Страницы публикаций:416
Полные тексты:153
Списки литературы:27
старший научный сотрудник
кандидат физико-математических наук (2002)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 21.01.1975
E-mail:
Сайт: http://lpcs.math.msu.su/~zolin/index.html
Ключевые слова: модальная логика, неразрешимость, градуированная логика, база знаний, формальная онтология.
Коды УДК: 510.643

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

модальная логика, дескрипционная логика, представление знаний, теория доказательств, вычислительная сложность

   
Основные публикации:
  1. Evgeny Zolin, “Query Answering Based on Modal Correspondence Theory”, Proceedings of the 4th Methods for Modalities Workshop (Berlin–Adlershof, Germany, December 1–2), 2005, 21–37
  2. Е. Е. Золин, “Секвенциальная логика арифметической разрешимости”, Вестник Московского университета. Серия 1. Математика. механика, 2001, № 6, 43–48  mathscinet
  3. E. E. Zolin, “Embeddings of propositional monomodal logics”, Logic Journal of the IGPL, 8:6 (2000), 861–882  crossref  mathscinet  zmath
  4. E. E. Zolin, “Completeness and Definability in the Logic of Noncontingency”, Notre Dame Journal of Formal Logic, 40:4 (1999), 533–547  crossref  mathscinet  zmath

http://www.mathnet.ru/rus/person18635
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/627054

Публикации в базе данных Math-Net.Ru
2014
1. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
2002
2. Е. Е. Золин, “Секвенциальные рефлексивные логики с оператором разрешимости”, Матем. заметки, 72:6 (2002),  853–868  mathnet  mathscinet  zmath; E. E. Zolin, “Sequential Reflexive Logics with Noncontingency Operator”, Math. Notes, 72:6 (2002), 784–798  isi  scopus
2001
3. Е. Е. Золин, “Относительная интерпретируемость модальных логик”, Фундамент. и прикл. матем., 7:1 (2001),  47–69  mathnet  mathscinet  zmath
4. Е. Е. Золин, “Секвенциальная логика арифметической разрешимости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, 6,  43–48  mathnet  mathscinet  zmath
5. Е. Е. Золин, “Линейные модальности в минимальной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, 4,  47–50  mathnet  mathscinet  zmath
1997
6. Е. Е. Золин, “Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, 4,  53–55  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Axiomatic classes of models in modal logics
E. Zolin
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 15:35   
2. Модальные логики, обогащенные модальностью транзитивного замыкания
Е. Е. Золин
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
24 марта 2015 г. 18:30
3. Модальная определимость формул первого порядка и ее применение в базах знаний
Е. Е. Золин
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
27 марта 2012 г. 18:30
4. Graded Dependent Modal Logics
Evgeny Zolin
Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 16:15   

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