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

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

Статистика просмотров:
Эта страница:626
Страницы публикаций:301
Полные тексты:76
Списки литературы:23
старший научный сотрудник
кандидат физико-математических наук (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
1. Filtration safe operations on frames
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
Advances in Modal Logic, 12 (2014),  333–352
2. Секвенциальные рефлексивные логики с оператором разрешимости
Е. Е. Золин
Матем. заметки, 72:6 (2002),  853–868
3. Относительная интерпретируемость модальных логик
Е. Е. Золин
Фундамент. и прикл. матем., 7:1 (2001),  47–69

Доклады и лекции в базе данных 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   

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