We stand with Ukraine  

Vladimir N. Krupski

Orcid: 0000-0001-5730-3561

Affiliations:
  • Moscow State University, Rusia


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
2
1
1
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
On sharp and single-conclusion justification models.
[BibTeX]
[DOI]
Vladimir N. Krupski
J. Log. Comput., 2021

2020
Cut elimination and complexity bounds for intuitionistic epistemic logic.
[BibTeX]
[DOI]
Vladimir N. Krupski
J. Log. Comput., 2020

2018
On the Sharpness and the Single-Conclusion Property of Basic Justification Models.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Vladimir N. Krupski
CoRR, 2017

2016
Sequent Calculus for Intuitionistic Epistemic Logic IEL.
[BibTeX]
[DOI]
Vladimir N. Krupski
,
Alexey Yatmanov
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015
Sequent Calculus for Intuitionistic Epistemic Logic.
[BibTeX]
[DOI]
Vladimir N. Krupski
,
Alexey Yatmanov
CoRR, 2015

2014
Primal Implication as Encryption.
[BibTeX]
[DOI]
Vladimir N. Krupski
Proceedings of the Computer Science - Theory and Applications, 2014

2010
Symbolic Models for Single-Conclusion Proof Logics.
[BibTeX]
[DOI]
Vladimir N. Krupski
Proceedings of the Computer Science, 2010

2006
Referential logic of proofs.
[BibTeX]
[DOI]
Vladimir Krupski
Theor. Comput. Sci., 2006

Reference Constructions in the Single-conclusion Proof Logic.
[BibTeX]
[DOI]
Vladimir Krupski
J. Log. Comput., 2006

2003
MetaPRL - A Modular Logical Environment.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Vladimir Krupski
Theor. Comput. Sci., 2002

2001
The single-conclusion proof logic and inference rules specification.
[BibTeX]
[DOI]
Vladimir Krupski
Ann. Pure Appl. Log., 2001

1997
Operational Logic of Proofs with Functionality Condition on Proof Predicate.
[BibTeX]
[DOI]
Vladimir Krupski
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996
Data Storage Interpretation of Labeled Modal Logic.
[BibTeX]
[DOI]
Sergei N. Artëmov
,
Vladimir Krupski
Ann. Pure Appl. Log., 1996

1994
Referential Data Structures and Labeled Modal Logic.
[BibTeX]
[DOI]
Sergei N. Artëmov
,
Vladimir Krupski
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994


  Loading...