Vladimir N. Krupski

According to our database, Vladimir N. Krupski authored at least 16 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On sharp and single-conclusion justification models.

Vladimir N. Krupski

J. Log. Comput., 2021

2020

Cut elimination and complexity bounds for intuitionistic epistemic logic.

Vladimir N. Krupski

J. Log. Comput., 2020

2018

On the Sharpness and the Single-Conclusion Property of Basic Justification Models.

Vladimir N. Krupski

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

On the sharpness and the injective property of basic justification models.

Vladimir N. Krupski

CoRR, 2017

2016

Sequent Calculus for Intuitionistic Epistemic Logic IEL.

Vladimir N. Krupski, Alexey Yatmanov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Sequent Calculus for Intuitionistic Epistemic Logic.

Vladimir N. Krupski, Alexey Yatmanov

CoRR, 2015

2014

Primal Implication as Encryption.

Vladimir N. Krupski

Proceedings of the Computer Science - Theory and Applications, 2014

2010

Symbolic Models for Single-Conclusion Proof Logics.

Vladimir N. Krupski

Proceedings of the Computer Science, 2010

2006

Referential logic of proofs.

Vladimir Krupski

Theor. Comput. Sci., 2006

Reference Constructions in the Single-conclusion Proof Logic.

Vladimir Krupski

J. Log. Comput., 2006

2003

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, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

Effective simultaneous approximability of reals.

Vladimir Krupski

Theor. Comput. Sci., 2002

2001

The single-conclusion proof logic and inference rules specification.

Vladimir Krupski

Ann. Pure Appl. Log., 2001

1997

Operational Logic of Proofs with Functionality Condition on Proof Predicate.

Vladimir Krupski

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996

Data Storage Interpretation of Labeled Modal Logic.

Sergei N. Artëmov, Vladimir Krupski

Ann. Pure Appl. Log., 1996

1994

Referential Data Structures and Labeled Modal Logic.

Sergei N. Artëmov, Vladimir Krupski

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994