Vladimir Nikolaevich Krupskiĭ

Available identifiers

zbMath Open krupskii.vladimir-nikolaevichMaRDI QIDQ785961

List of research outcomes

Publication	Date of Publication	Type
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

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: Vladimir Nikolaevich Krupskiĭ