Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Zolin, Evgeny Evgenievich
Senior Researcher
Candidate of physico-mathematical sciences (2002)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 21.01.1975
E-mail:
Website: https://lpcs.math.msu.su/~zolin/index.html
Keywords: modal logic, undecidability, graded modalities, knowledge base, formal ontology, non-contingency logic
UDC: 510.643

Subject:

modal logic, description logic, knowledge representation, proof theory, computational complexitty
   
Main publications:
  1. 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
  2. E. E. Zolin, “Sekventsialnaya logika arifmeticheskoi razreshimosti”, Vestnik Moskovskogo universiteta. Seriya 1. Matematika. mekhanika, 2001, № 6, 43–48  mathscinet
  3. E. E. Zolin, “Embeddings of propositional monomodal logics”, Logic Journal of the IGPL, 8:6 (2000), 861–882  crossref  mathscinet  zmath
  4. E. E. Zolin, “Completeness and Definability in the Logic of Noncontingency”, Notre Dame Journal of Formal Logic, 40:4 (1999), 533–547  crossref  mathscinet  zmath

https://www.mathnet.ru/eng/person18635
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/627054

Publications in Math-Net.Ru Citations
2025
1. E. E. Zolin, “Modal logics with the intersection modality”, Dokl. RAN. Math. Inf. Proc. Upr., 521 (2025),  107–123  mathnet  elib; Dokl. Math., 111:1 (2025), 59–73
2. A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32  mathnet  elib; Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
2014
3. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
2002
4. E. E. Zolin, “Sequential Reflexive Logics with Noncontingency Operator”, Mat. Zametki, 72:6 (2002),  853–868  mathnet  mathscinet  zmath; Math. Notes, 72:6 (2002), 784–798  isi  scopus 4
2001
5. E. E. Zolin, “Relative interpretability of modal logics”, Fundam. Prikl. Mat., 7:1 (2001),  47–69  mathnet  mathscinet  zmath
6. E. E. Zolin, “Sequential logic of arithmetic decidability”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 6,  43–48  mathnet  mathscinet  zmath 1
7. E. E. Zolin, “Linear modalities in mininal logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 4,  47–50  mathnet  mathscinet  zmath
1997
8. E. E. Zolin, “The Craig interpolation property in logics of proofs with a strong provability operator”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, no. 4,  53–55  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. Axiomatic classes of models in modal logics
E. Zolin
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 15:35   
2. Modal Logics Enriched with Transitive Closure Modality
E. E. Zolin
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 24, 2015 18:30
3. Modal definability of first-order formulas and its application to knowledge bases
E. E. Zolin
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 27, 2012 18:30
4. Graded Dependent Modal Logics
Evgeny Zolin
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 16:15   

Organisations