Evgeny Zolin

Affiliations:
  • Lomonosov Moscow State University, Rusia
  • University of Manchester, UK


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2017
Undecidability of the transitive graded modal logic with converse.
J. Log. Comput., 2017

2015
Local Goldblatt-Thomason theorem.
Log. J. IGPL, 2015

2014
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.
Stud Logica, 2014

Filtration Safe Operations on Frames.
Proceedings of the Advances in Modal Logic 10, 2014

2013
Modal definability of first-order formulas with free variables and query answering.
J. Appl. Log., 2013

Query Answering via Modal Definability with FaCT++: First Blood.
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.
Proceedings of the Logic for Programming, 2007

Modal Logic Applied to Query Answering and the Case for Variable Modalities.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Deciding Semantic Matching of Stateless Services.
Proceedings of the Proceedings, 2006

2000
Embeddings of Propositional Monomodal Logics.
Log. J. IGPL, 2000

1999
Completeness and Definability in the Logic of Noncontingency.
Notre Dame J. Formal Log., 1999


  Loading...