Evgeny Zolin

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 2

Top Topics

Inconsistent Databases

Universally Quantified

Top Venues

Description Logics

J. Log. Comput.

Advances in Modal Logic

Publications

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. AiML (2020)
Evgeny Zolin
Undecidability of the transitive graded modal logic with converse. J. Log. Comput. 27 (5) (2017)
Evgeny Zolin
Local Goldblatt-Thomason theorem. Log. J. IGPL 23 (6) (2015)
Evgeny Zolin
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi. Stud Logica 102 (5) (2014)
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
Filtration Safe Operations on Frames. Advances in Modal Logic (2014)
Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
Query Answering via Modal Definability with FaCT++: First Blood. Description Logics (2013)
Stanislav Kikot, Evgeny Zolin
Modal definability of first-order formulas with free variables and query answering. J. Appl. Log. 11 (2) (2013)
Evgeny Zolin
Modal Logic Applied to Query Answering and the Case for Variable Modalities. Description Logics (2007)
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR (2007)
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
Deciding Semantic Matching of Stateless Services. AAAI (2006)