Referential Data Structures and Labeled Modal Logic. - Sergei N. Artëmov; Vladimir Krupski (LFCS, 1994)

Data Storage Interpretation of Labeled Modal Logic. - Sergei N. Artëmov; Vladimir Krupski (Ann. Pure Appl. Log., 1996)

Operational Logic of Proofs with Functionality Condition on Proof Predicate. - Vladimir Krupski (LFCS, 1997)

The single-conclusion proof logic and inference rules specification. - Vladimir Krupski (Ann. Pure Appl. Log., 2001)

Effective simultaneous approximability of reals. - Vladimir Krupski (Theor. Comput. Sci., 2002)

MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

Reference Constructions in the Single-conclusion Proof Logic. - Vladimir Krupski (J. Log. Comput., 2006)

Referential logic of proofs. - Vladimir Krupski (Theor. Comput. Sci., 2006)

Symbolic Models for Single-Conclusion Proof Logics. - Vladimir N. Krupski (CSR, 2010)

Primal Implication as Encryption. - Vladimir N. Krupski (CSR, 2014)

Sequent Calculus for Intuitionistic Epistemic Logic. - Vladimir N. Krupski; Alexey Yatmanov (CoRR, 2015)

Sequent Calculus for Intuitionistic Epistemic Logic IEL. - Vladimir N. Krupski; Alexey Yatmanov (LFCS, 2016)

On the sharpness and the injective property of basic justification models. - Vladimir N. Krupski (CoRR, 2017)

On the Sharpness and the Single-Conclusion Property of Basic Justification Models. - Vladimir N. Krupski (LFCS, 2018)

Cut elimination and complexity bounds for intuitionistic epistemic logic. - Vladimir N. Krupski (J. Log. Comput., 2020)

On sharp and single-conclusion justification models. - Vladimir N. Krupski (J. Log. Comput., 2021)