Roman Kuznets - RankMe

68 papers A* 1B 15C 5Misc 5Journal 34Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Agent Interpolation in Distributed Systems. RAMICS Marta Bílková, Wesley Fussner, Roman Kuznets
2026	J	`jnl`	Interpolation in Proof Theory. CoRR Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2025	J	`jnl`	Agent Interpolation for Knowledge. CoRR Marta Bílková, Wesley Fussner, Roman Kuznets
2025	B	`ed.`	Structural Information and Communication Complexity - 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings SIROCCO Ulrich Schmid, Roman Kuznets
2025	J	`jnl`	Uniform interpolation via nested sequents and hypersequents. J. Log. Comput. Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2025	J	`jnl`	Wanted dead or alive: epistemic logic for impure simplicial complexes. J. Log. Comput. Hans van Ditmarsch, Roman Kuznets
2024	—	`conf`	A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	J	`jnl`	A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	C	`conf`	A Simple Loopcheck for Intuitionistic K. WoLLIC Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2024	B	`conf`	Bisimulation for Impure Simplicial Complexes. AiML Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	J	`jnl`	Bisimulation for Impure Simplicial Complexes. CoRR Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	C	`conf`	Communication Modalities. CiE Roman Kuznets
2024	J	`jnl`	Communication Modalities. CoRR Roman Kuznets
2024	J	`jnl`	Consistent Update Synthesis via Privatized Beliefs. CoRR Thomas Schlögl, Roman Kuznets, Giorgio Cignarale
2024	—	`conf`	Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling. FoIKS Giorgio Cignarale, Roman Kuznets, Thomas Schlögl
2023	J	`jnl`	A priori Belief Updates as a Method for Agent Self-Recovery. CoRR Giorgio Cignarale, Roman Kuznets
2023	J	`jnl`	Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
2023	B	`conf`	Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. TABLEAUX Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023	J	`jnl`	Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. CoRR Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023	J	`jnl`	Impure Simplicial Complexes: Complete Axiomatization. Log. Methods Comput. Sci. Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
2023	A*	`conf`	Intuitionistic S4 is decidable. LICS Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2023	J	`jnl`	Intuitionistic S4 is decidable. CoRR Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2023	—	`conf`	Logic of Communication Interpretation: How to Not Get Lost in Translation. FroCoS Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid
2023	—	`conf`	On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2023	J	`jnl`	The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds Mach. Giorgio Cignarale, Ulrich Schmid, Tuomas E. Tahko, Roman Kuznets
2022	B	`conf`	A New Hope. AiML Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch
2022	J	`jnl`	Impure Simplicial Complexes: Complete Axiomatization. CoRR Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
2021	B	`conf`	Fire! TARK Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2021	J	`jnl`	Interpolation for intermediate logics via injective nested sequents. J. Log. Comput. Roman Kuznets, Björn Lellmann
2021	J	`jnl`	Justification Logic for Constructive Modal Logic. FLAP Roman Kuznets, Sonia Marin, Lutz Straßburger
2021	C	`conf`	Uniform Interpolation via Nested Sequents. WoLLIC Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2021	J	`jnl`	Uniform interpolation via nested sequents and hypersequents. CoRR Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2020	B	`conf`	The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. PRIMA Thomas Schlögl, Ulrich Schmid, Roman Kuznets
2020	J	`jnl`	The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. CoRR Thomas Schlögl, Ulrich Schmid, Roman Kuznets
2019	B	`conf`	Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. TARK Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
2019	—	`conf`	Epistemic Reasoning with Byzantine-Faulty Agents. FroCos Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
2019	J	`jnl`	Maehara-style modal nested calculi. Arch. Math. Log. Roman Kuznets, Lutz Straßburger
2018	B	`conf`	Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. Advances in Modal Logic Roman Kuznets, Björn Lellmann
2018	J	`jnl`	Multicomponent proof-theoretic method for proving interpolation properties. Ann. Pure Appl. Log. Roman Kuznets
2016	J	`jnl`	Grafting hypersequents onto nested sequents. Log. J. IGPL Roman Kuznets, Björn Lellmann
2016	Misc	`conf`	Interpolation Method for Multicomponent Sequent Calculi. LFCS Roman Kuznets
2016	B	`conf`	Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. JELIA Roman Kuznets
2016	J	`jnl`	Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. CoRR Roman Kuznets
2016	J	`jnl`	Weak arithmetical interpretations for the Logic of Proofs. Log. J. IGPL Roman Kuznets, Thomas Studer
2015	J	`jnl`	Grafting Hypersequents onto Nested Sequents. CoRR Roman Kuznets, Björn Lellmann
2015	J	`jnl`	Modal interpolation via nested sequents. Ann. Pure Appl. Log. Melvin Fitting, Roman Kuznets
2015	B	`conf`	Realization Theorems for Justification Logics: Full Modularity. TABLEAUX Annemarie Borg, Roman Kuznets
2014	J	`jnl`	Logical omniscience as infeasibility. Ann. Pure Appl. Log. Sergei N. Artëmov, Roman Kuznets
2014	J	`jnl`	Realizing public announcements by justifications. J. Comput. Syst. Sci. Samuel Bucheli, Roman Kuznets, Thomas Studer
2013	Misc	`conf`	Update as Evidence: Belief Expansion. LFCS Roman Kuznets, Thomas Studer
2012	B	`conf`	Justifications, Ontology, and Conservativity. Advances in Modal Logic Roman Kuznets, Thomas Studer
2012	J	`jnl`	Lower complexity bounds in justification logic. Ann. Pure Appl. Log. Samuel R. Buss, Roman Kuznets
2012	J	`jnl`	Realization for justification logics via nested sequents: Modularity through embedding. Ann. Pure Appl. Log. Remo Goetschi, Roman Kuznets
2011	—	`conf`	Decidability for Justification Logics Revisited. TbiLLC Samuel Bucheli, Roman Kuznets, Thomas Studer
2011	J	`jnl`	Justifications for common knowledge. J. Appl. Non Class. Logics Samuel Bucheli, Roman Kuznets, Thomas Studer
2011	C	`conf`	Partial Realization in Dynamic Justification Logic. WoLLIC Samuel Bucheli, Roman Kuznets, Thomas Studer
2011	—	`ed.`	TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011 TABLEAUX (Workshops, Tutorials, and Short Papers) Martin Giese, Roman Kuznets
2010	B	`conf`	A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic Kai Brünnler, Remo Goetschi, Roman Kuznets
2010	J	`jnl`	Explicit Evidence Systems with Common Knowledge CoRR Samuel Bucheli, Roman Kuznets, Thomas Studer
2010	J	`jnl`	Self-Referential Justifications in Epistemic Logic. Theory Comput. Syst. Roman Kuznets
2009	B	`conf`	Logical omniscience as a computational complexity problem. TARK Sergei N. Artëmov, Roman Kuznets
2009	Misc	`conf`	The NP-Completeness of Reflected Fragments of Justification Logics. LFCS Samuel R. Buss, Roman Kuznets
2009	—	`conf`	Two Ways to Common Knowledge. M4M Samuel Bucheli, Roman Kuznets, Thomas Studer
2008	Misc	`conf`	Self-referentiality of Justified Knowledge. CSR Roman Kuznets
2007	Misc	`conf`	Proof Identity for Classical Logic: Generalizing to Normality. LFCS Roman Kuznets
2006	B	`conf`	Logical Omniscience Via Proof Complexity. CSL Sergei N. Artëmov, Roman Kuznets
2006	J	`jnl`	Making knowledge explicit: How hard it is. Theor. Comput. Sci. Vladimir Brezhnev, Roman Kuznets
2000	B	`conf`	On the Complexity of Explicit Modal Logics. CSL Roman Kuznets