| 2026 | WoLLIC | Axiomatizing Eventual Common Knowledge. | Roman Kuznets, Rojo Randrianomentsoa, Thomas Studer |
| 2024 | AiML | Bisimulation for Impure Simplicial Complexes. | Marta Blkov, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
| 2024 | CiE | Communication Modalities. | Roman Kuznets |
| 2024 | IJCAR | A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. | Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid |
| 2024 | WoLLIC | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | LICS | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | TABLEAUX | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2022 | AiML | A New Hope. | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
| 2021 | WoLLIC | Uniform Interpolation via Nested Sequents. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2020 | PRIMA | The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. | Thomas Schlgl, Ulrich Schmid, Roman Kuznets |
| 2018 | AiML | Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. | Roman Kuznets, Bjrn Lellmann |
| 2016 | JELIA | Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. | Roman Kuznets |
| 2016 | LFCS | Interpolation Method for Multicomponent Sequent Calculi. | Roman Kuznets |
| 2015 | TABLEAUX | Realization Theorems for Justification Logics: Full Modularity. | Annemarie Borg, Roman Kuznets |
| 2013 | LFCS | Update as Evidence: Belief Expansion. | Roman Kuznets, Thomas Studer |
| 2012 | AiML | Justifications, Ontology, and Conservativity. | Roman Kuznets, Thomas Studer |
| 2011 | WoLLIC | Partial Realization in Dynamic Justification Logic. | Samuel Bucheli, Roman Kuznets, Thomas Studer |
| 2010 | AiML | A Syntactic Realization Theorem for Justification Logics. | Kai Brnnler, Remo Goetschi, Roman Kuznets |
| 2009 | LFCS | The NP-Completeness of Reflected Fragments of Justification Logics. | Samuel R. Buss, Roman Kuznets |
| 2009 | TARK | Logical omniscience as a computational complexity problem. | Sergei N. Artmov, Roman Kuznets |
| 2008 | CSR | Self-referentiality of Justified Knowledge. | Roman Kuznets |
| 2007 | LFCS | Proof Identity for Classical Logic: Generalizing to Normality. | Roman Kuznets |
| 2006 | CSL | Logical Omniscience Via Proof Complexity. | Sergei N. Artmov, Roman Kuznets |
| 2000 | CSL | On the Complexity of Explicit Modal Logics. | Roman Kuznets |