Roman Kuznets's Publications

Preprints

Journal publications

Peer-reviewed post-conference volumes

  • Decidability for Justification Logics Revisited
         (with Samuel Bucheli and Thomas Studer)
         In Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, and Frank Richter, editors,
          Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation,
         TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

         volume 7758 of Lecture Notes in Computer Science, pages 166-181. Springer, 2013.
         [pdf] © Springer-Verlag Berlin Heidelberg 2013

Peer-reviewed conference proceedings

  • Update as Evidence: Belief Expansion
         (with Thomas Studer)
         In Sergei Artemov and Anil Nerode, editors,
         Logical Foundations of Computer Science, International Symposium, LFCS 2013,
         San Diego, CA, USA, January 6–8, 2013, Proceedings
    ,
         volume 7734 of Lecture Notes in Computer Science, pages 266-279. Springer, 2013.
         [pdf] © Springer-Verlag Berlin Heidelberg 2013
  • Justifications, Ontology, and Conservativity
         (with Thomas Studer)
         In Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence Moss, editors,
         Advances in Modal Logic, Volume 9,
         Copenhagen, Denmark, August 22–25, 2012,
         pages 437–458. College Publications, 2012.
         [pdf] © 2012 Roman Kuznets and Thomas Studer
  • Partial Realization in Dynamic Justification Logic
         (with Samuel Bucheli and Thomas Studer)
         In Lev D. Beklemishev and Ruy de Queiroz, editors,
         Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011,
         Philadelphia, PA, USA, May 18–20, 2011, Proceedings
    ,
         volume 6642 of Lecture Notes in Artificial Intelligence, pages 35–51. Springer, 2011.
         Published online 28 April 2011.
         [pdf] © Springer-Verlag Berlin Heidelberg 2011
  • A Syntactic Realization Theorem for Justification Logics
         (with Kai Brünnler and Remo Goetschi)
         In Lev Beklemishev, Valentin Goranko, and Valentin Shehtman, editors,
         Advances in Modal Logic, Volume 8,
         Moscow, Russia, August 24–27, 2010,
         pages 39–58. College Publications, 2010.
         [pdf] © 2010 Kai Brünnler, Remo Goetschi, and Roman Kuznets
  • Two Ways to Common Knowledge (Elsevier's "Open Access")
         (with Samuel Bucheli and Thomas Studer)
         In Thomas Bolander and Torben Braüner, editors,
         Proceedings of the 6th Workshop on Methods for Modalities 2009 (M4M–6 2009),
         Copenhagen, Denmark, 12–14 November 2009
    ,
         volume 262 of Electronic Notes in Theoretical Computer Science, pages 83–98. Elsevier, published online 4 May 2010.
         Preliminary proceedings published as a Roskilde University Computer Science Research Report in October 2009.
         [pdf] © 2010 Elsevier B.V.
  • Logical Omniscience as a Computational Complexity Problem
         (with Sergei Artemov)
         In Aviad Heifetz, editor,
         Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009),
         Stanford University, California, July 6–8, 2009,
         pages 14–23. ACM, 2009.
         [pdf] © 2009, Sergei Artemov and Roman Kuznets
  • The NP-Completeness of Reflected Fragments of Justification Logics
         (with Samuel R. Buss)
         In Sergei Artemov and Anil Nerode, editors,
         Logical Foundations of Computer Science, International Symposium, LFCS 2009,
         Deerfield Beach, FL, USA, January 3–6, 2009, Proceedings
    ,
         volume 5407 of Lecture Notes in Computer Science, pages 122–136. Springer, 2009.
         [pdf] © Springer-Verlag Berlin Heidelberg 2009
  • Self-referentiality of Justified Knowledge
         In Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, and Anatol Slissenko, editors,
         Computer Science – Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008,
         Moscow, Russia, June 7–12, 2008, Proceedings
    ,
         volume 5010 of Lecture Notes in Computer Science, pages 228–239. Springer, 2008.
         Published online 14 May 2008.
         [pdf] © Springer-Verlag Berlin Heidelberg 2008
  • Proof Identity for Classical Logic: Generalizing to Normality
         In Sergei N. Artemov and Anil Nerode, editors,
         Logical Foundations of Computer Science, International Symposium, LFCS 2007,
         New York, NY, USA, June 4–7, 2007, Proceedings
    ,
         volume 4514 of Lecture Notes in Computer Science, pages 332–348. Springer, 2007.
         [pdf] © Springer-Verlag Berlin Heidelberg 2007
  • Logical Omniscience Via Proof Complexity
         (with Sergei Artemov)
         In Zoltán Ésik, editor,
         Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL,
         Szeged, Hungary, September 25–29, 2006, Proceedings
    ,
         volume 4207 of Lecture Notes in Computer Science, pages 135–149. Springer, 2006.
         [pdf] © Springer-Verlag Berlin Heidelberg 2006
         An earlier version is available as a technical report published online 19 May 2006.
  • Complexity of Evidence-Based Knowledge
         In Sergei Artemov and Rohit Parikh, editors,
         Proceedings of the Workshop on Rationality and Knowledge,
         18th European Summer School in Logic, Language, and Information,
         7–11 August 2006, Universidad de Málaga,

         pages 66–75. FOLLI, 2006.
         [pdf] © 2006, Roman Kuznets
  • On the Complexity of Explicit Modal Logics
         In Peter G. Clote and Helmut Schwichtenberg, editors,
         Computer Science Logic, 14th International Workshop, CSL 2000, Annual Conference of the EACSL,
         Fischbachau, Germany, August 21–26, 2000, Proceedings
    ,
         volume 1862 of Lecture Notes in Computer Science, pages 371–383. Springer, 2000.
         [pdf] © Springer-Verlag Berlin Heidelberg 2000
         Errata to this paper are published in Bulletin of Symbolic Logic, 15(1):121, also available in pdf-format here.

Ph.D. thesis

Non peer-reviewed conference proceedings

  • Justified Belief Change
         (with Samuel Bucheli, Bryan Renne, Joshua Sack, and Thomas Studer)
         In Xabier Arrazola and María Ponte, editors,
         LogKCA–10, Proceedings of the Second ILCLI International Workshop
         on Logic and Philosophy of Knowledge, Communication and Action,
         Donostia, 3–5 November 2010
    ,
         pages 135–155. University of the Basque Country Press, 2010.
         [pdf]
  • A Note on the Use of Sum in the Logic of Proofs
         In Costas Drossos, Pavlos Peppas, and Constantine Tsinakis, editors,
         Proceedings of the 7th Panhellenic Logic Symposium,
         Patras University, Greece, July 15–19, 2009,
         pages 99–103. Patras University Press, 2009.
         [pdf] © 2009, Roman Kuznets

Short notes and abstracts