Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
21.01.1975
E-mail: Сайт: https://lpcs.math.msu.su/~zolin/index.html Ключевые слова: модальная логика,
неразрешимость,
градуированная логика,
база знаний,
формальная онтология.
Коды УДК: 510.643
Основные темы научной работы:
модальная логика, дескрипционная логика, представление знаний, теория доказательств, вычислительная сложность
Основные публикации:
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
Е. Е. Золин, “Секвенциальная логика арифметической разрешимости”, Вестник Московского университета. Серия 1. Математика. механика, 2001, № 6, 43–48
E. E. Zolin, “Embeddings of propositional monomodal logics”, Logic Journal of the IGPL, 8:6 (2000), 861–882
E. E. Zolin, “Completeness and Definability in the Logic of Noncontingency”, Notre Dame Journal of Formal Logic, 40:4 (1999), 533–547
