Evgeny Zolin

According to our database, Evgeny Zolin authored at least 12 papers between 1999 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2017

Undecidability of the transitive graded modal logic with converse.

Evgeny Zolin

J. Log. Comput., 2017

2015

Local Goldblatt-Thomason theorem.

Evgeny Zolin

Log. J. IGPL, 2015

2014

Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.

Evgeny Zolin

Stud Logica, 2014

Filtration Safe Operations on Frames.

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin

Proceedings of the Advances in Modal Logic 10, 2014

2013

Modal definability of first-order formulas with free variables and query answering.

Stanislav Kikot, Evgeny Zolin

J. Appl. Log., 2013

Query Answering via Modal Definability with FaCT++: First Blood.

Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2007

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.

Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin

Proceedings of the Logic for Programming, 2007

Modal Logic Applied to Query Answering and the Case for Variable Modalities.

Evgeny Zolin

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Deciding Semantic Matching of Stateless Services.

Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens

Proceedings of the Proceedings, 2006

2000

Embeddings of Propositional Monomodal Logics.

Evgeni E. Zolin

Log. J. IGPL, 2000

1999

Completeness and Definability in the Logic of Noncontingency.

Evgeni E. Zolin

Notre Dame J. Formal Log., 1999