Person:1347607

Available identifiers

zbMath Open zolin.evgenii-eMaRDI QIDQ1347607

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5104715	2022-09-15	Paper
Completeness of logics with the transitive closure modality and related logics	2020-11-04	Paper
Local Goldblatt–Thomason theorem	2019-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4636301	2018-04-23	Paper
Undecidability of the transitive graded modal logic with converse	2018-02-13	Paper
Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi	2015-02-27	Paper
Modal definability of first-order formulas with free variables and query answering	2014-04-17	Paper
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4815892	2004-09-08	Paper
Sequential reflexive logics with noncontingency operator	2003-06-15	Paper
Linear modalities in mininal logic	2003-04-23	Paper
Sequent logic of arithmetic decidability	2003-04-23	Paper
Completeness and definability in the logic of noncontingency	2002-07-22	Paper
Embeddings of propositional monomodal logics	2001-06-25	Paper
Interpolational Craig property in logics of proofs with strong provability operator	1999-01-14	Paper

Research outcomes over time

This page was built for person: Evgeni E. Zolin