Персоналии: Золин Евгений Евгеньевич

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

старший научный сотрудник

кандидат физико-математических наук (2002)

Специальность ВАК:

01.01.06 (математическая логика, алгебра и теория чисел)

Дата рождения:

21.01.1975

E-mail:

Сайт:

Ключевые слова:

модальная логика, неразрешимость, градуированная логика, база знаний, формальная онтология.

Коды УДК:

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

	Публикации в базе данных Math-Net.Ru	Цитирования
	2014
1.	Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014), 333–352
	2002
2.	Е. Е. Золин, “Секвенциальные рефлексивные логики с оператором разрешимости”, Матем. заметки, 72:6 (2002), 853–868 ; E. E. Zolin, “Sequential Reflexive Logics with Noncontingency Operator”, Math. Notes, 72:6 (2002), 784–798	4
	2001
3.	Е. Е. Золин, “Относительная интерпретируемость модальных логик”, Фундамент. и прикл. матем., 7:1 (2001), 47–69
4.	Е. Е. Золин, “Секвенциальная логика арифметической разрешимости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, № 6, 43–48	1
5.	Е. Е. Золин, “Линейные модальности в минимальной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, № 4, 47–50
	1997
6.	Е. Е. Золин, “Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 4, 53–55

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

Организации

Обратная связь: