Evgeny Zolin: Homepage

Homepage of Evgeny Zolin

Here is the list of my publications.
Here is the Description Logic Complexity Navigator.
Here is the Graded Modal Logic Complexity Navigator (under construction).
Currently, I work as a Senior researcher at the
Department of Mathematical Logic and Theory of Algorithms
Faculty of Mathematics and Mechanics
Moscow State University
Here is my current homepage (in Russian)
In 2004–2007, I worked here in Manchester on the EPSRC project DynamO as a Research Associate.
My profiles: Google Scholar | DBLP | Math-Net | Math Genealogy
Here is my JavaScript emulator of the famous Langton's Ant, just for fun!
A manual is coming soon, just press "Create" and then "By steps";
also try the Triangular grid, seemingly my invention
(and make dimensions larger to see the miraculous picture appearing).
PhD Thesis: "Modal Logics with the Non-Contingency Operator" (2002)
Scientific advisors: Sergei N. Artemov, Vladimir A. Uspensky.
Here is my MaMuTh page.
Dissertations on modal (and related) logics: written in English | Russian.