Stanislav Kikot,
Ilya Shapirovsky,
and Evgeny Zolin.
Filtration safe operations on frames.
In Advances in Modal Logic, vol. 10, pp. 333-352.
Colledge Publications, 2014.
[ pdf ]
2013
Stanislav Kikot,
Dmitry Tsarkov,
Michael Zakharyaschev,
and Evgeny Zolin.
Query answering via modal definability with FaCT++: First blood.
In Proc. of the 26th Int. Workshop on Description Logics
(DL 2013),
vol. 1014 in CEUR Workshop Proceedings,
pp. 328-340, CEUR-WS.org, 2013.
[ pdf | the same pdf ]
Yevgeny Kazakov,
Ulrike Sattler, and Evgeny Zolin.
How many legs do I have? Non-simple roles in number restrictions revisited.
In
Proc. of the 14th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR 2007), Yerevan, Armenia,
October 15-19, 2007.
vol. 4790
in
LNAI,
pp. 303-317, Springer, 2007.
[ pdf ]
An accompanying technical report:
Y.Kazakov, U.Sattler, E.Zolin.
Is your RBox safe?
Information Management Group, School of Computer Science, The University of Manchester,
2007.
[ pdf,
pps ]
Evgeny Zolin.
Modal logic applied to query answering and the case for variable modalities.
In Proc. of the 20th Int. Workshop on Description Logics
(DL'2007),
Free University of BozenBolzano,
Brixen-Bressanone, Italy, June 810, 2007.
Vol. 250 in
CEUR,
pp. 515522, 2007.
Available at CEUR
[ pdf ]
or locally
[paper: pdf,
slides: pps ].
An accompanying technical report:
Modal logic with variable modalities with applications to querying knowledge bases.
The University of Manchester, 2006
[TR: pdf, abstract:
htm,
slides: pps ]
2006
Andrey Bovykin and Evgeny Zolin.
A framework for describing information providing web services.
In Proc. of the 13th Workshop on Automated Reasoning
(ARW 2006),
Bristol, UK, April 34, 2006, pp. 34.
[extended abstract: pdf,
poster: pps ]
Duncan Hull, Ulrike Sattler, Evgeny Zolin, Robert Stevens, Andrey Bovykin, Ian Horrocks.
Deciding semantic matching of stateless services.
In Proc. of the 21st National Conf. on Artificial Intelligence
(AAAI'2006),
Boston, Massachusetts, USA, July 1620, 2006, pp. 13191324.
ISBN 978-1-57735-281-5.
[ pdf ]
An extended abstract will appear in Proc. of the 5th UK e-Science All Hands Meeting
(AHM'2006).
Nottingham (UK), September 1821, 2006, pp. 682-685.
[extended abstract: pdf,
the same pdf,
poster: pps ]
2005
Andrey Bovykin and Evgeny Zolin.
A formal framework for describing information providing web services.
Technical Report. The University of Manchester, 2005.
[ pdf ]
Evgeny Zolin.
Query answering based on modal correspondence theory.
In Proc. of the 4th "Methods for Modalities" Workshop
(M4M4),
Berlin Adlershof, Germany, December 12, 2005, pp. 2137.
[ paper:
pdf,
ps.zip;
slides:
pps;
proceedings:
pdf
]
2002
PhD Thesis: Modal Logics with the Non-Contingency Operator
Scientific advisors:
Sergei N. Artemov,
Vladimir A. Uspensky.
In Russian. [extended abstract:
pdf,
ps.zip;
full text:
pdf,
ps.zip ]
The content is mainly covered by the papers listed below.
E.E.Zolin.
Sequential reflexive logics with non-contingency operator.
Mathematical Notes,
vol. 72, no. 56,
pp. 784798. Springer New York, November 2002.
[ paper:
pdf;
abstract:
pdf,
htm ]
Original paper in Russian:
Е.Е.Золин.
Секвенциальные рефлексивные логики с оператором разрешимости.
Математические заметки,
2002, том 72, вып. 6, стр. 853-868.
[ paper:
pdf,
ps.zip;
abstract:
htm ]
Evgeni E. Zolin.
Infinitary expressibility of necessity in terms of contingency.
In Proc. of
ESSLLI Student Session.
Finland, Helsinki, August 1324, 2001, pp. 310319.
[ paper:
pdf;
extended abstract:
pdf ]
[full proceedings of the student session:
pdf ]
Evgeni E. Zolin.
Sequent logic of arithmetic decidability.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika.
2001, no. 6, pp. 4348, 65. (in Russian)
[ paper:
pdf,
ps.zip;
abstract (both in English and in Russian):
pdf,
ps.zip ]
My translation to English (2016), draft version:
[ pdf ]
Evgeni E. Zolin.
Linear modalities in the minimal modal logic.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika. 2001, no. 4, pp. 4750, 71.
(in Russian)
[ paper:
pdf,
ps.zip ]
Evgeni E. Zolin.
Completeness and definability in the logic of noncontingency.
Notre Dame Journal of Formal Logic,
1999, vol. 40, no. 4, pp. 533547.
[ paper:
pdf,
ps.zip;
abstract:
htm ]
Note: in fact, this paper was written and submitted in 2001, but at that time
the NDJFL was in the process of releasing the 1999 issue.
1997
Evgeni E. Zolin.
The Craig interpolation property in logics of proofs with a strong provability operator.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika.
1997, no. 4, pp. 5355. (in Russian)
[ htm ]