Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Zolin, Evgeny Evgenievich

Statistics Math-Net.Ru
Total publications: 5
Scientific articles: 5
Presentations: 4

Number of views:
This page:1859
Abstract pages:475
Full texts:201
References:27
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: http://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

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

Publications in Math-Net.Ru
2014
1. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
2002
2. 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
2001
3. E. E. Zolin, “Relative interpretability of modal logics”, Fundam. Prikl. Mat., 7:1 (2001),  47–69  mathnet  mathscinet  zmath
4. E. E. Zolin, “Sequential logic of arithmetic decidability”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, 6,  43–48  mathnet  mathscinet  zmath
5. E. E. Zolin, “Linear modalities in mininal logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, 4,  47–50  mathnet  mathscinet  zmath
1997
6. E. E. Zolin, “The Craig interpolation property in logics of proofs with a strong provability operator”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, 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
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021