Vladimir Nikolaevich Krupskiĭ

Available identifiers

zbMath Open krupskii.vladimir-nikolaevichMaRDI QIDQ785961

List of research outcomes

Publication	Date of Publication	Type
Normalization of terms in sharp models of logic of proofs LP	2024-05-29	Paper
On sharp and single-conclusion justification models	2022-02-08	Paper
The sharpness property of justification logic	2020-08-12	Paper
Cut elimination and complexity bounds for intuitionistic epistemic logic	2020-04-29	Paper
On the sharpness and the single-conclusion property of basic justification models	2018-04-06	Paper
Sequent Calculus for Intuitionistic Epistemic Logic IEL	2017-07-21	Paper
Primal implication as encryption	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3108199	2012-01-01	Paper
On symbolic models for single-conclusion logic of proofs	2011-09-27	Paper
Symbolic models for single-conclusion proof logics	2010-06-22	Paper
Reference Constructions in the Single-conclusion Proof Logic	2007-04-13	Paper
Referential logic of proofs	2006-08-16	Paper
The single-conclusion proof logic and inference rules specification	2002-09-16	Paper
Effective simultaneous approximability of reals.	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4501133	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4242483	1999-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4376057	1998-06-01	Paper
Data storage interpretation of labeled modal logic	1996-07-24	Paper
Efficient coding of approximations of real numbers	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3035228	1990-01-01	Paper
Admissible topological Markov chains with identifications	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039335	1982-01-01	Paper
The complexity of specifying computable approximations of points of a metric space	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3918098	1981-01-01	Paper
On completely enumerable sets in effectively metric spaces	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3889038	1979-01-01	Paper

Research outcomes over time

This page was built for person: Vladimir Nikolaevich Krupskiĭ