Золин Евгений Евгеньевич

Старший научный сотрудник:Международная лаборатория логики, лингвистики и формальной философии

Начал работать в НИУ ВШЭ в 2018 году.
Научно-педагогический стаж: 14 лет.

Образование, учёные степени

2002
Кандидат наук
1997
Специалитет: Московский государственный университет им. М. В. Ломоносова, специальность «Математика. Прикладная математика»

Профессиональные интересы

математическая логика модальная логика теория моделей

27.03.19 Математическая логика

Публикации⁹

Статья Zolin E. The almost necessity operator // Notre Dame Journal of Formal Logic. 2018 (в печати)
Статья 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.

Конференции

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

Гранты

Участвовал в грантах РФФИ: 11-01-00281, 11-01-00958, 14-01-93105, 14-01-00127, текущий: 16-01-00615.

Опыт работы

февраль 2009 — настоящее время: МГУ им. М.В.Ломоносова, механико-математический факультет, кафедра математической логики и теории алгоритмов, старший научный сотрудник

2004—2007: университет г.Манчестер (Великобритания), research associate.

окт

2018

Конференция «Формальная философия»

1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.

окт