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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Evgeni E. Zolin