Золин Евгений Евгеньевич
- Старший научный сотрудник:Международная лаборатория логики, лингвистики и формальной философии
- Начал работать в НИУ ВШЭ в 2018 году.
Образование, учёные степени
- 2002Кандидат наук
- 1997
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика. Прикладная математика»
Публикации11
- Глава книги Kikot S., Shapirovsky I., Zolin E. Modal logics with transitive closure: Completeness, decidability, filtration, in: Advances in Modal Logic Vol. 13. College Publications, 2020. P. 369-388.
- Статья Zolin E. The infinitary operator of almost necessary // Notre Dame Journal of Formal Logic. 2019 (в печати)
- Глава книги Золин Е. Е. Соответствие на счетных структурах и запросы к теориям // В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. М. : Современные тетради, 2019. С. 24-26.
- Статья Zolin E. Undecidability of the transitive graded modal logic with converse // Journal of Logic and Computation. 2017. Vol. 27. No. 5. P. 1399-1420. doi
- Глава книги Золин Е. Е. Объединения модально определимых классов моделей // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 19-21.
- Статья Zolin E. Local Goldblatt-Thomason Theorem // Logic Journal of the IGPL. 2015. Vol. 23. No. 6. P. 861-880. doi
- Глава книги Shapirovsky I., Zolin E. On Completeness of Logics Enriched with Transitive Closure Modality, in: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015). , 2015. P. 1-3.
- Глава книги Kikot S., Shapirovsky I., Zolin E. Filtration Safe Operations on Frames, in: Advances in Modal Logic. Volume 10. College Publications, 2014. P. 333-352.
- Статья Zolin E. Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi // Studia Logica. 2014. Vol. 102. No. 5. P. 1021-1039. doi
- Статья Kikot S., Zolin E. Modal Definability of First-Order Formulas with Free Variables and Query Answering // Journal of Applied Logic. 2013. Vol. 11. No. 2. P. 190-216. doi
- Глава книги Kikot S., Tsarkov D., Zakharyaschev M., Zolin E. Query Answering via Modal Definability with FaCT++: First Blood, in: Proceedings of the 26th International Workshop on Description Logics (DL 2013) Vol. 1014. CEUR Workshop Proceedings, 2013. P. 328-340.
Конференции
- 2020Advances in Modal Logic 2020 (Хельсинки). Доклад: Modal logics with transitive closure: Completeness, decidability, filtration
- Ломоносовские чтения 2020 (Москва). Доклад: Модальные логики с оператором транзитивного замыкания
- 2019
Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Соответствие на счетных структурах и запросы к теориям
Trends in Logic 2019: Current Issues in Philosophical Logic (Москва). Доклад: Compactness and saturatedness in definability theorems
Всероссийская Конференция «Ломоносовские чтения – 2019» (Москва). Доклад: Критерии аксиоматизируемости в модальной логике
- 2018
Formal Philosophy (Москва). Доклад: Duality in abstract definability theory
- 2017
Десятые Смирновские чтения по логике (Москва). Доклад: Объединения модально определимых классов моделей
Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles) (Москва). Доклад: Axiomatic classes of models in modal logics
- 2012
Московские чтения по конструктивной логике и представлению знаний к 60-летию С. Н. Артёмова (Москва). Доклад: Модальная транзитивная логика с градуированными прямыми и обратными модальностями
Logical Models of Reasoning and Computation (LRMC 2012) (Москва). Доклад: Graded dependent modal logics
Семинары
- 2019.10.31. Доклад "Градуированные модальные логики: аксиоматика, разрешимость, определимость". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2019.05.19. Доклад "Пропозициональная динамическая логика PDL: обзор". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2017.09.28. Доклад "Насыщенность и компактность в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2017.05.25. Доклад "Критерии определимости в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2016.11.17. Доклад "Инфинитарный оператор почти необходимости". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2015.12.10. Доклад "О полноте модальных логик, расширенных модальностью транзитивного замыкания". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2015.03.24. Доклад "Модальные логики, обогащенные модальностью транзитивного замыкания". Семинар «Алгоритмические вопросы алгебры и логики», механико-математический факультет МГУ.
- 2014.10.16. Доклад "Фильтруемость регулярных грамматических модальных логик". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2014.10.09. Доклад "Операции на шкалах, сохраняющие фильтруемость". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2014.02.27. Доклад "Проблема распознаваемости аксиоматик модальной логики K". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2013.03.19. Доклад "О понятии выразимости модели Крипке в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2012.03.27. Доклад "Модальная определимость формул первого порядка и ее применение в базах знаний". Семинар «Алгоритмические вопросы алгебры и логики», механико-математический факультет МГУ.
- 2012.03.06. Доклад "Модальная логика с переменными модальностями". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2012.02.21. Доклад "Модальная логика и запросы к базам знаний". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2011.10.11. Доклад "Модальная определимость формул первого порядка с несколькими свободными переменными". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
- 2011.04.19. Доклад "Неразрешимость одной градуированной модальной логики". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
Опыт работы
февраль 2009 — настоящее время: МГУ им. М.В.Ломоносова, механико-математический факультет, кафедра математической логики и теории алгоритмов, старший научный сотрудник.
- Семинары по курсу "Введение в математическую логику и теорию алгоритмов", 2-й курс (с 2016 года).
- Лекции по спецкурсу на английском языке "Дополнительные главы классической логики" (Advanced course in classical logic), 5-й курс (с 2016 года).
- Спецкурс "Модальная логика", "Дескрипционная логика" (с 2014 года).
2004—2007: университет г.Манчестер (Великобритания), research associate. Проект "Dynamic ontologies".
2000—2004: МГУ им. М.В.Ломоносова. Лекции и семинары по курсу "Алгебра" на Отделении теоретической и прикладной лингвистики филологического факультета (3-й курс).
Доклад Евгения Золина на "Ломоносовских чтениях"
21 октября состоялся онлайн-доклад Евгения Золина "Модальные логики с оператором транзитивного замыкания" в рамках Ежегодной научной конференции "Ломоносвские чтения-2020".
Доклад Евгения Золина на конференции "Advances in Modal Logic 2020"
28 августа состоялся доклад Евгения Золина, Станислава Кикотя и Ильи Шапировского "Modal logics with Transitive Closure: Completeness, Decidability, Filtration" на конференции "Advances in Modal Logic 2020", которая проходила онлайн.
Формальная философия-59: доклад «Абстрактная теория определимости» Евгения Золина, приуроченный ко Дню Логики
15 января состоялось 59-е заседание научно-теоретического семинара «Формальная философия».
Евгений Золин выступил с докладом на семинаре в МГУ
31 октября на объединённом семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» состоялся доклад Евгения Золина.
Формальная философия 2019
27-28 июня состоялась международная конференция "Formal Philosophy 2019", организованная Международной лабораторией логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). В конференции приняли участие ученые из России, США, Бразилии, Польши, Германии, Австрии, Португалии и Южной Кореи. Планируется, что конференция станет ежегодным событием.
Сотрудники лаборатории выступили на Одиннадцатых Смирновских чтениях по логике
В конференции приняли участие Павлова А.М., Федянин Д.Н., Золин Е.Е., Драгалина-Черная Е.Г. и Васюков В.Л.
Евгений Золин выступил с докладом на научном семинаре в МГУ
16 мая на мехмате МГУ прошел научный семинар "Модальная и алгебраическая логика", в котором принял участие Евгений Золин, старший научный сотрудник. ЛогЛинФФа.
Евгений Золин выступил на конференции "Ломоносовские чтения 2019"
24 апреля старший научный сотрудник ЛогЛинФФа, Евгений Золин, выступил с докладом "Критерии аксиоматизируемости в модальной логике" на Ломоносовских чтениях 2019.
Конференция «Формальная философия»
1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.
Опубликован фоторепортаж конференции «Формальная философия»
В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.