On the Complexity of Explicit Modal Logics. - Roman Kuznets (CSL, 2000)

Logical Omniscience Via Proof Complexity. - Sergei N. Artëmov; Roman Kuznets (CSL, 2006)

Making knowledge explicit: How hard it is. - Vladimir Brezhnev; Roman Kuznets (Theor. Comput. Sci., 2006)

Proof Identity for Classical Logic: Generalizing to Normality. - Roman Kuznets (LFCS, 2007)

Self-referentiality of Justified Knowledge. - Roman Kuznets (CSR, 2008)

The NP-Completeness of Reflected Fragments of Justification Logics. - Samuel R. Buss; Roman Kuznets (LFCS, 2009)

Logical omniscience as a computational complexity problem. - Sergei N. Artëmov; Roman Kuznets (TARK, 2009)

Two Ways to Common Knowledge. - Samuel Bucheli; Roman Kuznets; Thomas Studer (M4M, 2009)

A Syntactic Realization Theorem for Justification Logics. - Kai Brünnler; Remo Goetschi; Roman Kuznets (Advances in Modal Logic, 2010)

Explicit Evidence Systems with Common Knowledge - Samuel Bucheli; Roman Kuznets; Thomas Studer (CoRR, 2010)

Self-Referential Justifications in Epistemic Logic. - Roman Kuznets (Theory Comput. Syst., 2010)

Decidability for Justification Logics Revisited. - Samuel Bucheli; Roman Kuznets; Thomas Studer (TbiLLC, 2011)

Partial Realization in Dynamic Justification Logic. - Samuel Bucheli; Roman Kuznets; Thomas Studer (WoLLIC, 2011)

Justifications for common knowledge. - Samuel Bucheli; Roman Kuznets; Thomas Studer (J. Appl. Non Class. Logics, 2011)

Justifications, Ontology, and Conservativity. - Roman Kuznets; Thomas Studer (Advances in Modal Logic, 2012)

Lower complexity bounds in justification logic. - Samuel R. Buss; Roman Kuznets (Ann. Pure Appl. Log., 2012)

Realization for justification logics via nested sequents: Modularity through embedding. - Remo Goetschi; Roman Kuznets (Ann. Pure Appl. Log., 2012)

Update as Evidence: Belief Expansion. - Roman Kuznets; Thomas Studer (LFCS, 2013)

Logical omniscience as infeasibility. - Sergei N. Artëmov; Roman Kuznets (Ann. Pure Appl. Log., 2014)

Realizing public announcements by justifications. - Samuel Bucheli; Roman Kuznets; Thomas Studer (J. Comput. Syst. Sci., 2014)

Realization Theorems for Justification Logics: Full Modularity. - Annemarie Borg; Roman Kuznets (TABLEAUX, 2015)

Modal interpolation via nested sequents. - Melvin Fitting; Roman Kuznets (Ann. Pure Appl. Log., 2015)

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. - Roman Kuznets (JELIA, 2016)

Interpolation Method for Multicomponent Sequent Calculi. - Roman Kuznets (LFCS, 2016)

Grafting hypersequents onto nested sequents. - Roman Kuznets; Björn Lellmann (Log. J. IGPL, 2016)

Weak arithmetical interpretations for the Logic of Proofs. - Roman Kuznets; Thomas Studer (Log. J. IGPL, 2016)

Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. - Roman Kuznets; Björn Lellmann (Advances in Modal Logic, 2018)

Multicomponent proof-theoretic method for proving interpolation properties. - Roman Kuznets (Ann. Pure Appl. Log., 2018)

Epistemic Reasoning with Byzantine-Faulty Agents. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (FroCos, 2019)

Maehara-style modal nested calculi. - Roman Kuznets; Lutz Straßburger (Arch. Math. Log., 2019)

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (TARK, 2019)

The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. - Thomas Schlögl; Ulrich Schmid 001; Roman Kuznets (PRIMA, 2020)

Uniform Interpolation via Nested Sequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (WoLLIC, 2021)

Fire! - Krisztina Fruzsa; Roman Kuznets; Ulrich Schmid 001 (TARK, 2021)

Justification Logic for Constructive Modal Logic. - Roman Kuznets; Sonia Marin; Lutz Straßburger (FLAP, 2021)

Interpolation for intermediate logics via injective nested sequents. - Roman Kuznets; Björn Lellmann (J. Log. Comput., 2021)

A New Hope. - Krisztina Fruzsa; Roman Kuznets; Hans van Ditmarsch (AiML, 2022)

Logic of Communication Interpretation: How to Not Get Lost in Translation. - Giorgio Cignarale; Roman Kuznets; Hugo Rincon Galeana; Ulrich Schmid 001 (FroCoS, 2023)

Intuitionistic S4 is decidable. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (LICS, 2023)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (TABLEAUX, 2023)

On Two- and Three-valued Semantics for Impure Simplicial Complexes. - Hans van Ditmarsch; Roman Kuznets; Rojo Randrianomentsoa (GandALF, 2023)

A priori Belief Updates as a Method for Agent Self-Recovery. - Giorgio Cignarale; Roman Kuznets (CoRR, 2023)

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). - Armando Castañeda; Hans van Ditmarsch; Roman Kuznets; Yoram Moses; Ulrich Schmid 001 (Dagstuhl Reports, 2023)

Impure Simplicial Complexes: Complete Axiomatization. - Rojo Fanamperana Randrianomentsoa; Hans van Ditmarsch; Roman Kuznets (Log. Methods Comput. Sci., 2023)

The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. - Giorgio Cignarale; Ulrich Schmid 001; Tuomas E. Tahko; Roman Kuznets (Minds Mach., 2023)

Bisimulation for Impure Simplicial Complexes. - Marta Bílková; Hans van Ditmarsch; Roman Kuznets; Rojo Randrianomentsoa (AiML, 2024)

Communication Modalities. - Roman Kuznets (CiE, 2024)

Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling. - Giorgio Cignarale; Roman Kuznets; Thomas Schlögl (FoIKS, 2024)

A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. - Hans van Ditmarsch; Krisztina Fruzsa; Roman Kuznets; Ulrich Schmid 001 (IJCAR (2), 2024)

A Simple Loopcheck for Intuitionistic K. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (WoLLIC, 2024)

Consistent Update Synthesis via Privatized Beliefs. - Thomas Schlögl; Roman Kuznets; Giorgio Cignarale (CoRR, 2024)

Wanted dead or alive: epistemic logic for impure simplicial complexes. - Hans van Ditmarsch; Roman Kuznets (J. Log. Comput., 2025)

Uniform interpolation via nested sequents and hypersequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (J. Log. Comput., 2025)

Agent Interpolation for Knowledge. - Marta Bílková; Wesley Fussner; Roman Kuznets (CoRR, 2025)