BibTeX records: Vladimir N. Krupski

download as .bib file

@article{DBLP:journals/logcom/Krupski21,
  author       = {Vladimir N. Krupski},
  title        = {On sharp and single-conclusion justification models},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {1},
  pages        = {152--167},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exaa074},
  doi          = {10.1093/LOGCOM/EXAA074},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/Krupski21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Krupski20,
  author       = {Vladimir N. Krupski},
  title        = {Cut elimination and complexity bounds for intuitionistic epistemic
                  logic},
  journal      = {J. Log. Comput.},
  volume       = {30},
  number       = {1},
  pages        = {281--294},
  year         = {2020},
  url          = {https://doi.org/10.1093/logcom/exaa012},
  doi          = {10.1093/LOGCOM/EXAA012},
  timestamp    = {Fri, 04 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Krupski20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Krupski18,
  author       = {Vladimir N. Krupski},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {On the Sharpness and the Single-Conclusion Property of Basic Justification
                  Models},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10703},
  pages        = {211--220},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-72056-2\_13},
  doi          = {10.1007/978-3-319-72056-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/Krupski18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-01316,
  author       = {Vladimir N. Krupski},
  title        = {On the sharpness and the injective property of basic justification
                  models},
  journal      = {CoRR},
  volume       = {abs/1709.01316},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.01316},
  eprinttype    = {arXiv},
  eprint       = {1709.01316},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-01316.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KrupskiY16,
  author       = {Vladimir N. Krupski and
                  Alexey Yatmanov},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Sequent Calculus for Intuitionistic Epistemic Logic {IEL}},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9537},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-27683-0\_14},
  doi          = {10.1007/978-3-319-27683-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/KrupskiY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrupskiY15,
  author       = {Vladimir N. Krupski and
                  Alexey Yatmanov},
  title        = {Sequent Calculus for Intuitionistic Epistemic Logic},
  journal      = {CoRR},
  volume       = {abs/1508.07851},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.07851},
  eprinttype    = {arXiv},
  eprint       = {1508.07851},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KrupskiY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Krupski14,
  author       = {Vladimir N. Krupski},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Primal Implication as Encryption},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {232--244},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_18},
  doi          = {10.1007/978-3-319-06686-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Krupski14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6862,
  author       = {Vladimir Krupski},
  title        = {Primal implication as encryption},
  journal      = {CoRR},
  volume       = {abs/1303.6862},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.6862},
  eprinttype    = {arXiv},
  eprint       = {1303.6862},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-6862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Krupski10,
  author       = {Vladimir N. Krupski},
  editor       = {Farid M. Ablayev and
                  Ernst W. Mayr},
  title        = {Symbolic Models for Single-Conclusion Proof Logics},
  booktitle    = {Computer Science - Theory and Applications, 5th International Computer
                  Science Symposium in Russia, {CSR} 2010, Kazan, Russia, June 16-20,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6072},
  pages        = {276--287},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13182-0\_26},
  doi          = {10.1007/978-3-642-13182-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Krupski10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Krupski06,
  author       = {Vladimir Krupski},
  title        = {Reference Constructions in the Single-conclusion Proof Logic},
  journal      = {J. Log. Comput.},
  volume       = {16},
  number       = {5},
  pages        = {645--661},
  year         = {2006},
  url          = {https://doi.org/10.1093/logcom/exl028},
  doi          = {10.1093/LOGCOM/EXL028},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Krupski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Krupski06a,
  author       = {Vladimir Krupski},
  title        = {Referential logic of proofs},
  journal      = {Theor. Comput. Sci.},
  volume       = {357},
  number       = {1-3},
  pages        = {143--166},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.03.016},
  doi          = {10.1016/J.TCS.2006.03.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Krupski06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HickeyNCABBEGKKKLSWY03,
  author       = {Jason Hickey and
                  Aleksey Nogin and
                  Robert L. Constable and
                  Brian E. Aydemir and
                  Eli Barzilay and
                  Yegor Bryukhov and
                  Richard Eaton and
                  Adam Granicz and
                  Alexei Kopylov and
                  Christoph Kreitz and
                  Vladimir Krupski and
                  Lori Lorigo and
                  Stephan Schmitt and
                  Carl Witty and
                  Xin Yu},
  editor       = {David A. Basin and
                  Burkhart Wolff},
  title        = {MetaPRL - {A} Modular Logical Environment},
  booktitle    = {Theorem Proving in Higher Order Logics, 16th International Conference,
                  TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2758},
  pages        = {287--303},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/10930755\_19},
  doi          = {10.1007/10930755\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HickeyNCABBEGKKKLSWY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Krupski02,
  author       = {Vladimir Krupski},
  title        = {Effective simultaneous approximability of reals},
  journal      = {Theor. Comput. Sci.},
  volume       = {284},
  number       = {2},
  pages        = {397--417},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00097-4},
  doi          = {10.1016/S0304-3975(01)00097-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Krupski02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Krupski01,
  author       = {Vladimir Krupski},
  title        = {The single-conclusion proof logic and inference rules specification},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {113},
  number       = {1-3},
  pages        = {181--206},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00058-6},
  doi          = {10.1016/S0168-0072(01)00058-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Krupski01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Krupski97,
  author       = {Vladimir Krupski},
  editor       = {Sergei I. Adian and
                  Anil Nerode},
  title        = {Operational Logic of Proofs with Functionality Condition on Proof
                  Predicate},
  booktitle    = {Logical Foundations of Computer Science, 4th International Symposium,
                  LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1234},
  pages        = {167--177},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63045-7\_18},
  doi          = {10.1007/3-540-63045-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/Krupski97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArtemovK96,
  author       = {Sergei N. Art{\"{e}}mov and
                  Vladimir Krupski},
  title        = {Data Storage Interpretation of Labeled Modal Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {78},
  number       = {1-3},
  pages        = {57--71},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00062-3},
  doi          = {10.1016/0168-0072(95)00062-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ArtemovK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArtemovK94,
  author       = {Sergei N. Art{\"{e}}mov and
                  Vladimir Krupski},
  editor       = {Anil Nerode and
                  Yuri V. Matiyasevich},
  title        = {Referential Data Structures and Labeled Modal Logic},
  booktitle    = {Logical Foundations of Computer Science, Third International Symposium,
                  LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {813},
  pages        = {23--33},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58140-5\_4},
  doi          = {10.1007/3-540-58140-5\_4},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/ArtemovK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics