Золин Евгений Евгеньевич
- Старший научный сотрудник:Международная лаборатория логики, лингвистики и формальной философии
- Начал работать в НИУ ВШЭ в 2018 году.
- Научно-педагогический стаж: 14 лет.
Образование, учёные степени
- 2002Кандидат наук
- 1997
Специалитет: Московский государственный университет им. М. В. Ломоносова, специальность «Математика. Прикладная математика»
Публикации9
- Статья 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.
Конференция «Формальная философия»
1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.
Опубликован фоторепортаж конференции «Формальная философия»
В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.
