Publications

Book chapter

Journal publications

Peer-reviewed post-conference volume

  • Decidability for Justification Logics Revisited
          (with Samuel Bucheli and Thomas Studer)
          In G. Bezhanishvili, S. Löbner, V. Marra, and F. 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

  • Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
          In L. Michael and A. Kakas, editors
          Logics in Artificial Intelligence, 15th European Conference, JELIA 2016,
          Larnaca, Cyprus, November 9-11, 2016, Proceedings
    ,
          volume 10021 of Lecture Notes in Artificial Intelligence, pages 320-335. Springer 2016.
          Published online 1 November 2016.
          [pdf] © Springer International Publishing AG 2016.
          An earlier version is available as a technical report published online 21 January 2016.
  • Interpolation Method for Multicomponent Sequent Calculi
          In S. Artemov and A. Nerode, editors,
          Logical Foundations of Computer Science, International Symposium, LFCS 2016,
          Deerfield Beach, FL, USA, January 4–7, 2016, Proceedings
    ,
          volume 9537 of Lecture Notes in Computer Science, pages 202-218. Springer, 2016.
          Published online 10 December 2015.
          [pdf] © Springer International Publishing Switzerland 2016.
  • Realization Theorems for Justification Logics: Full Modularity
          (with Annemarie Borg)
          In H. De Nivelle, editor,
          Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference,
          TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015, Proceedings
    ,
          volume 9323 of Lecture Notes in Artificial Intelligence, pages 221-236. Springer 2015.
          [pdf] © Springer International Publishing Switzerland 2015.
  • Update as Evidence: Belief Expansion
          (with Thomas Studer)
          In S. Artemov and A. 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 T. Bolander, T. Braüner, S. Ghilardi, and L. 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. (open access through Advances in Modal Logic)
  • Partial Realization in Dynamic Justification Logic
          (with Samuel Bucheli and Thomas Studer)
          In L. D. Beklemishev and R. 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 L. Beklemishev, V. Goranko, and V. 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. (open access through Advances in Modal Logic)
  • Two Ways to Common Knowledge
          (with Samuel Bucheli and Thomas Studer)
          In T. Bolander and T. 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. (open access through Elsevier)
  • Logical Omniscience as a Computational Complexity Problem (free access via "ACM Author-Izer Service")
          (with Sergei Artemov)
          In A. 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.
          (free access via Theoretical Aspects of Rationality and Knowledge)
  • The NP-Completeness of Reflected Fragments of Justification Logics
          (with Samuel R. Buss)
          In S. Artemov and A. 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 E. A. Hirsch, A. A. Razborov, A. Semenov, and A. 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 S. N. Artemov and A. 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 Z. É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 S. Artemov and R. 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 P. G. Clote and H. 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, March 2009, also available in here.

Ph.D. thesis

Non peer-reviewed conference proceedings

  • Justified Belief Change
          (with Samuel Bucheli, Bryan Renne, Joshua Sack, and Thomas Studer)
          In X. Arrazola and M. 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 C. Drossos, P. Peppas, and C. 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