Roman Kuznets

According to our database, Roman Kuznets authored at least 48 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems.

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

CoRR, 2024

Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling.

Giorgio Cignarale, Roman Kuznets, Thomas Schlögl

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.

Giorgio Cignarale, Ulrich Schmid, Tuomas E. Tahko, Roman Kuznets

Minds Mach., June, 2023

Impure Simplicial Complexes: Complete Axiomatization.

Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets

Log. Methods Comput. Sci., 2023

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).

Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid

Dagstuhl Reports, 2023

A priori Belief Updates as a Method for Agent Self-Recovery.

Giorgio Cignarale, Roman Kuznets

CoRR, 2023

On Two- and Three-valued Semantics for Impure Simplicial Complexes.

Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

Proceedings of the Fourteenth International Symposium on Games, 2023

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

LICS, 2023

Logic of Communication Interpretation: How to Not Get Lost in Translation.

Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

A New Hope.

Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Interpolation for intermediate logics via injective nested sequents.

Roman Kuznets, Björn Lellmann

J. Log. Comput., 2021

Justification Logic for Constructive Modal Logic.

Roman Kuznets, Sonia Marin, Lutz Straßburger

FLAP, 2021

Fire!

Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Uniform interpolation via nested sequents and hypersequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

CoRR, 2021

Uniform Interpolation via Nested Sequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks.

Thomas Schlögl, Ulrich Schmid, Roman Kuznets

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

2019

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems.

Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Maehara-style modal nested calculi.

Roman Kuznets, Lutz Straßburger

Arch. Math. Log., 2019

Epistemic Reasoning with Byzantine-Faulty Agents.

Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2018

Multicomponent proof-theoretic method for proving interpolation properties.

Roman Kuznets

Ann. Pure Appl. Log., 2018

Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents.

Roman Kuznets, Björn Lellmann

Proceedings of the Advances in Modal Logic 12, 2018

2016

Weak arithmetical interpretations for the Logic of Proofs.

Roman Kuznets, Thomas Studer

Log. J. IGPL, 2016

Grafting hypersequents onto nested sequents.

Roman Kuznets, Björn Lellmann

Log. J. IGPL, 2016

Interpolation Method for Multicomponent Sequent Calculi.

Roman Kuznets

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.

Roman Kuznets

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Modal interpolation via nested sequents.

Melvin Fitting, Roman Kuznets

Ann. Pure Appl. Log., 2015

Realization Theorems for Justification Logics: Full Modularity.

Annemarie Borg, Roman Kuznets

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

Realizing public announcements by justifications.

Samuel Bucheli, Roman Kuznets, Thomas Studer

J. Comput. Syst. Sci., 2014

Logical omniscience as infeasibility.

Sergei N. Artëmov, Roman Kuznets

Ann. Pure Appl. Log., 2014

2013

Update as Evidence: Belief Expansion.

Roman Kuznets, Thomas Studer

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

Realization for justification logics via nested sequents: Modularity through embedding.

Remo Goetschi, Roman Kuznets

Ann. Pure Appl. Log., 2012

Lower complexity bounds in justification logic.

Samuel R. Buss, Roman Kuznets

Ann. Pure Appl. Log., 2012

Justifications, Ontology, and Conservativity.

Roman Kuznets, Thomas Studer

Proceedings of the Advances in Modal Logic 9, 2012

2011

Justifications for common knowledge.

Samuel Bucheli, Roman Kuznets, Thomas Studer

J. Appl. Non Class. Logics, 2011

Partial Realization in Dynamic Justification Logic.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the Logic, Language, Information and Computation, 2011

Decidability for Justification Logics Revisited.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the Logic, Language, and Computation, 2011

2010

Self-Referential Justifications in Epistemic Logic.

Roman Kuznets

Theory Comput. Syst., 2010

Explicit Evidence Systems with Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer

CoRR, 2010

A Syntactic Realization Theorem for Justification Logics.

Kai Brünnler, Remo Goetschi, Roman Kuznets

Proceedings of the Advances in Modal Logic 8, 2010

2009

Two Ways to Common Knowledge.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Logical omniscience as a computational complexity problem.

Sergei N. Artëmov, Roman Kuznets

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

The NP-Completeness of Reflected Fragments of Justification Logics.

Samuel R. Buss, Roman Kuznets

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Self-referentiality of Justified Knowledge.

Roman Kuznets

Proceedings of the Computer Science, 2008

2007

Proof Identity for Classical Logic: Generalizing to Normality.

Roman Kuznets

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Making knowledge explicit: How hard it is.

Vladimir Brezhnev, Roman Kuznets

Theor. Comput. Sci., 2006

Logical Omniscience Via Proof Complexity.

Sergei N. Artëmov, Roman Kuznets

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2000

On the Complexity of Explicit Modal Logics.

Roman Kuznets

Proceedings of the Computer Science Logic, 2000