Back

Evgeny Zolin (Евгений Золин) – Publications





    2016

  1. Evgeny Zolin. The weak necessity operator. Some journal, 2016 (submitted).
  2. Evgeny Zolin. Undecidability of the transitive graded modal logic with converse. Journal of Logic and Computation, 2016 (to appear). DOI: 10.1093/logcom/exw026. Very preliminary draft: [ pdf ]


    2015

  3. Ilya Shapirovsky, Evgeny Zolin. On Completeness of Logics Enriched with Transitive Closure Modality. In Proc. of the 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), extended abstract, 2015. [ pdf ]
  4. Evgeny Zolin. Local Goldblatt-Thomason theorem. Logic Journal of the IGPL, 2015, vol. 23, no. 6, pp. 861-880. DOI: 10.1093/jigpal/jzv036. Very preliminary draft: [ pdf ]


    2014

  5. Evgeny Zolin. Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi. Studia Logica, vol.102, no.5, pp.1021-1039, 2014. DOI: 10.1007/s11225-013-9520-5. Final draft: [ pdf ]
  6. 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

  7. 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 ]
  8. Stanislav Kikot, and Evgeny Zolin. Modal definability of first-order formulas with free variables and query answering. Journal of Applied Logic, 2013, vol. 11, issue 2, pp. 190-216. DOI: 10.1016/j.jal.2013.03.007. Final draft for A4 paper: [ pdf ]


    2007

  9. 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 ]
  10. 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 Bozen–Bolzano, Brixen-Bressanone, Italy, June 8–10, 2007. Vol. 250 in CEUR, pp. 515–522, 2007. Available at CEUR [ pdf ] or locally [paper: pdf, slides: pps ].


    2006

  11. 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 3–4, 2006, pp. 3–4. [extended abstract: pdf, poster: pps ]
  12. 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 16–20, 2006, pp. 1319–1324. ISBN 978-1-57735-281-5. [ pdf ]


    2005

  13. Andrey Bovykin and Evgeny Zolin. A formal framework for describing information providing web services. Technical Report. The University of Manchester, 2005. [ pdf ]
  14. Evgeny Zolin. Query answering based on modal correspondence theory. In Proc. of the 4th "Methods for Modalities" Workshop (M4M–4), Berlin – Adlershof, Germany, December 1–2, 2005, pp. 21–37. [ 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.

  15. E.E.Zolin. Sequential reflexive logics with non-contingency operator. Mathematical Notes, vol. 72, no. 5–6, pp. 784–798. Springer New York, November 2002. [ paper: pdf; abstract: pdf, htm ]

    2001

  16. Evgeni E. Zolin. Infinitary expressibility of necessity in terms of contingency. In Proc. of ESSLLI Student Session. Finland, Helsinki, August 13–24, 2001, pp. 310–319. [ paper: pdf; extended abstract: pdf ] [full proceedings of the student session: pdf ]
  17. Evgeni E. Zolin. Sequent logic of arithmetic decidability. Vestnik Moskovskogo Universiteta. Seriya 1: Matematika, Mekhanika. 2001, no. 6, pp. 43–48, 65. (in Russian) [ paper: pdf, ps.zip; abstract (both in English and in Russian): pdf, ps.zip ]
  18. Evgeni E. Zolin. Linear modalities in the minimal modal logic. Vestnik Moskovskogo Universiteta. Seriya 1: Matematika, Mekhanika. 2001, no. 4, pp. 47–50, 71. (in Russian) [ paper: pdf, ps.zip ]
  19. Evgeni E. Zolin. Relative interpretability of modal logics. Fundamental and Applied Mathematics, 2001, vol. 7, no. 1, pp. 47–69. (in Russian) [ paper: pdf, ps.zip; abstract (both in English and in Russian): pdf, ps.zip, rus.htm, eng.htm ]

    2000

  20. Evgeni E. Zolin. Embeddings of propositional monomodal logics. Logic Journal of the IGPL, 2000, vol. 8, no. 6, pp. 861–882. [ pdf, ps.zip ]

    1999

  21. Evgeni E. Zolin. Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 1999, vol. 40, no. 4, pp. 533–547. [ paper: pdf, ps.zip; abstract: htm ]

    1997

  22. 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. 53–55. (in Russian) [ htm ]

Web publications

  1. The Semantic Web (russian translation, July 2004). Original:
    The Semantic Web. By Tim Berners-Lee, James Hendler, and Ora Lassila, May 2001.

  2. XML and the Semantic Web (russian translation, July 2004). Original:
    XML and the Semantic Web. By James Hendler & Bijan Parsia. In XML-Journal, October 2002.

  3. Web services and the Semantic Web (russian translation, September 2004). Original:
    Web services and the Semantic Web. By Paul Cowles. In Web Services Journal, December 2002.