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  
3. E. E. Zolin, “Embeddings of propositional monomodal logics”, Logic Journal of the IGPL, 8:6 (2000), 861–882      
4. E. E. Zolin, “Completeness and Definability in the Logic of Noncontingency”, Notre Dame Journal of Formal Logic, 40:4 (1999), 533–547      

Publications in Math-Net.Ru

Presentations in Math-Net.Ru

Personal pages:

• 
• 

Organisations:

• Lomonosov Moscow State University, Faculty of Mechanics and Mathematics