The following pages link to Vladimir Nikolaevich Krupskiĭ (Q785961):
Displaying 26 items.
- (Q234722) (redirect page) (← links)
- The sharpness property of justification logic (Q785962) (← links)
- Efficient coding of approximations of real numbers (Q918941) (← links)
- On completely enumerable sets in effectively metric spaces (Q1150614) (← links)
- The complexity of specifying computable approximations of points of a metric space (Q1165843) (← links)
- Effective simultaneous approximability of reals. (Q1607296) (← links)
- On the sharpness and the single-conclusion property of basic justification models (Q1709703) (← links)
- (Q1919760) (redirect page) (← links)
- Data storage interpretation of labeled modal logic (Q1919761) (← links)
- Admissible topological Markov chains with identifications (Q2266252) (← links)
- Referential logic of proofs (Q2500486) (← links)
- (Q3035228) (← links)
- (Q3039335) (← links)
- (Q3108199) (← links)
- On symbolic models for Single-Conclusion Logic of Proofs (Q3173324) (← links)
- Reference Constructions in the Single-conclusion Proof Logic (Q3431965) (← links)
- Symbolic Models for Single-Conclusion Proof Logics (Q3569753) (← links)
- (Q3889038) (← links)
- (Q3918098) (← links)
- (Q4242483) (← links)
- (Q4376057) (← links)
- (Q4501133) (← links)
- Primal Implication as Encryption (Q4981162) (← links)
- On sharp and single-conclusion justification models (Q5028313) (← links)
- Cut elimination and complexity bounds for intuitionistic epistemic logic (Q5108026) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
