Persons: Zolin, Evgeny Evgenievich

Persons

RUS ENG

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

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:

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:

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
E. E. Zolin, “Sekventsialnaya logika arifmeticheskoi razreshimosti”, Vestnik Moskovskogo universiteta. Seriya 1. Matematika. mekhanika, 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

	Publications in Math-Net.Ru	Citations
	2014
1.	Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014), 333–352
	2002
2.	E. E. Zolin, “Sequential Reflexive Logics with Noncontingency Operator”, Mat. Zametki, 72:6 (2002), 853–868 ; Math. Notes, 72:6 (2002), 784–798	4
	2001
3.	E. E. Zolin, “Relative interpretability of modal logics”, Fundam. Prikl. Mat., 7:1 (2001), 47–69
4.	E. E. Zolin, “Sequential logic of arithmetic decidability”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 6, 43–48	1
5.	E. E. Zolin, “Linear modalities in mininal logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 4, 47–50
	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, no. 4, 53–55

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