Evgeni E. Zolin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modal logics with intersection modality Doklady Mathematics	2026-01-13	Paper
Chair of Mathematical Logic and Theory of Algorithms Moscow University Mathematics Bulletin	2025-07-11	Paper
scientific article; zbMATH DE number 7585723 (Why is no real title available?)	2022-09-15	Paper
Completeness of logics with the transitive closure modality and related logics	2020-11-04	Paper
Local Goldblatt-Thomason theorem Logic Journal of the IGPL	2019-01-08	Paper
Filtration safe operations on frames	2018-04-23	Paper
Undecidability of the transitive graded modal logic with converse Journal Of Logic And Computation	2018-02-13	Paper
Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi Studia Logica	2015-02-27	Paper
Modal definability of first-order formulas with free variables and query answering Journal of Applied Logic	2014-04-17	Paper
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
scientific article; zbMATH DE number 2099412 (Why is no real title available?)	2004-09-08	Paper
Sequential reflexive logics with noncontingency operator Mathematical Notes	2003-06-15	Paper
Sequent logic of arithmetic decidability Moscow University Mathematics Bulletin	2003-04-23	Paper
Linear modalities in mininal logic Moscow University Mathematics Bulletin	2003-04-23	Paper
Completeness and definability in the logic of noncontingency Notre Dame Journal of Formal Logic	2002-07-22	Paper
Embeddings of propositional monomodal logics Logic Journal of the IGPL	2001-06-25	Paper
Interpolational Craig property in logics of proofs with strong provability operator Moscow University Mathematics Bulletin	1999-01-14	Paper

Research outcomes over time

This page was built for person: Evgeni E. Zolin