TU Wien Informatics

20 Years

About

Distributed systems, epistemic logic, proof theory

Role

2023W

 

2024

2023

  • A decision procedure for IS4 / Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). A decision procedure for IS4. In Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts. Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, Switzerland. https://doi.org/10.34726/5415
    Download: PDF (47.1 KB)
    Project: ByzDEL (2020–2025)
  • Simplicial approaches to crashing agents / Kuznets, R. (2023). Simplicial approaches to crashing agents. In Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts. Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, Switzerland. https://doi.org/10.34726/5476
    Download: PDF (91.8 KB)
    Project: ByzDEL (2020–2025)
  • Impure simplicial complexes: complete axiomatization / Randrianomentsoa, R. F., van Ditmarsch, H., & Kuznets, R. (2023). Impure simplicial complexes: complete axiomatization. Logical Methods in Computer Science, 19(4), Article 3. https://doi.org/10.46298/lmcs-19(4:3)2023
    Download: publisher pdf (525 KB)
    Project: ByzDEL (2020–2025)
  • Simplicial Introduction / van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. F. (2023, October 6). Simplicial Introduction [Presentation]. Prague CELIA Workshop 2023, Prague, Czechia.
    Project: ByzDEL (2020–2025)
  • On Two- and Three-valued Semantics for Impure Simplicial Complexes / van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. (2023). On Two- and Three-valued Semantics for Impure Simplicial Complexes. In A. Achilleos & D. Della Monica (Eds.), Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (pp. 50–66). Open Publishing Association. https://doi.org/10.4204/EPTCS.390.4
    Download: publisher pdf (222 KB)
    Project: ByzDEL (2020–2025)
  • Intuitionistic S4 and its decidability / Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023, September 27). Intuitionistic S4 and its decidability [Conference Presentation]. Mosaic Workshop 2023, Wien, Austria. http://hdl.handle.net/20.500.12708/192652
    Project: ByzDEL (2020–2025)
  • Extensions of K5: Proof Theory and Uniform Lyndon Interpolation / van der Giessen, I., Jalali, R., & Kuznets, R. (2023). Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. In D. R. S. Ramanayake & J. Urban (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (pp. 263–282). Springer. https://doi.org/10.1007/978-3-031-43513-3_15
    Download: publisher pdf (468 KB)
    Project: ByzDEL (2020–2025)
  • Logic of Communication Interpretation: How to Not Get Lost in Translation / Cignarale, G., Kuznets, R., Rincón Galeana, H., & Schmid, U. (2023). Logic of Communication Interpretation: How to Not Get Lost in Translation. In U. Sattler & M. Suda (Eds.), Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings (pp. 119–136). Springer. https://doi.org/10.1007/978-3-031-43369-6_7
    Download: PDF (339 KB)
    Project: ByzDEL (2020–2025)
  • Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory / Kuznets, R. (2023). Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory. In D. R. S. Ramanayake & J. Urban (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Springer. https://doi.org/10.34726/5327
    Download: PDF (42.8 KB)
    Project: ByzDEL (2020–2025)
  • The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems / Cignarale, G., Schmid, U., Tahko, T. E., & Kuznets, R. (2023). The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds and Machines, 33(2), 293–319. https://doi.org/10.1007/s11023-023-09631-3
    Download: publisher pdf (1.12 MB)
    Project: ByzDEL (2020–2025)
  • Messages Agents Send; Agents Who Send Messages / Kuznets, R. (2023, February 24). Messages Agents Send; Agents Who Send Messages [Keynote Presentation]. DFG-GACR Research Project CELIA: First Project Meeting 2023, Bayreuth, Germany.
    Project: ByzDEL (2020–2025)
  • On Interpolation / Kuznets, R. (2023, January 28). On Interpolation [Conference Presentation]. Fitting at 80, New York, NY, United States of America (the).
    Project: ByzDEL (2020–2025)
  • Intuitionistic S4 is decidable / Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Intuitionistic S4 is decidable. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States of America (the). IEEE. https://doi.org/10.34726/5295
    Download: Accepted paper + Appendices (672 KB)
    Project: ByzDEL (2020–2025)
  • Decidability of intuitionistic S4 / Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Decidability of intuitionistic S4. In Logica 2023. Abstracts (pp. 32–33). https://doi.org/10.34726/5418
    Download: PDF (617 KB)
    Project: ByzDEL (2020–2025)

2022

  • Nested Sequents, Kripke Models, and Uniform Interpolation / van der Giessen, I., Jalali, R., & Kuznets, R. (2022, November 1). Nested Sequents, Kripke Models, and Uniform Interpolation [Conference Presentation]. Proof-theoretic and algebraic aspects of (intuitionistic) modal logics, Utrecht, Netherlands (the).
    Project: ByzDEL (2020–2025)
  • Framing faultiness Kripke style / van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022, September 6). Framing faultiness Kripke style [Conference Presentation]. MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference, Capaccio Paestum, Italy.
    Download: PDF (309 KB)
    Project: ByzDEL (2020–2025)
  • A new hope / van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022). A new hope. In D. Fernández-Duque, A. PALMIGIANO, & S. Pinchinat (Eds.), Advances in Modal Logic, Volume 14 (pp. 349–369). College Publications. https://doi.org/10.34726/2821
    Download: publisher pdf (869 KB)
    Project: ByzDEL (2020–2025)

2021

  • Knowledge-based analysis of the Firing Rebels problem / Fruzsa, K., Kuznets, R., & Schmid, U. (2021, November 2). Knowledge-based analysis of the Firing Rebels problem [Presentation]. Research Seminar Informatica 2021, Heerlen, Netherlands (the).
    Project: ByzDEL (2020–2025)
  • Justification logic for constructive modal logic / Kuznets, R., Marin, S., & Straßburger, L. (2021). Justification logic for constructive modal logic. Journal of Applied Logics, 8(8), 2313–2332. https://doi.org/10.34726/2943
    Download: publisher pdf (506 KB)
    Projects: ByzDEL (2020–2025) / LOGFRADIG (2013–2017) / NestSIRea (2015–2017) / ZK 35-G (2019–2024)
  • Uniform Interpolation via Nested Sequents / van der Giessen, I., Jalali, R., & Kuznets, R. (2021). Uniform Interpolation via Nested Sequents. In Logic, Language, Information, and Computation (pp. 337–354). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-88853-4_21
    Project: ByzDEL (2020–2025)
  • Fire! / Fruzsa, K., Kuznets, R., & Schmid, U. (2021). Fire! In Electronic Proceedings in Theoretical Computer Science (pp. 139–153). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.335.13
    Project: ByzDEL (2020–2025)
  • Intuiting Duals of Proofs / Kuznets, R., Marin, S., & Strassburger, L. (2021). Intuiting Duals of Proofs. Milano Logic Group Logic Lunch Seminar Series, online, Italy, Italy. http://hdl.handle.net/20.500.12708/87263
    Project: ByzDEL (2020–2025)
  • Interpolation for intermediate logics via injective nested sequents / Kuznets, R., & Lellmann, B. (2021). Interpolation for intermediate logics via injective nested sequents. Journal of Logic and Computation, 31(3), 797–831. https://doi.org/10.1093/logcom/exab015
    Project: ByzDEL (2020–2025)
  • Uniform interpolation via nested sequents and hypersequents / van der Giessen, I., Jalali, R., & Kuznets, R. (2021). Uniform interpolation via nested sequents and hypersequents (2105.10930). http://hdl.handle.net/20.500.12708/40454

2020

2019

  • Extrapolating Interpolation / Kuznets, R. (2019). Extrapolating Interpolation. Proof Theory in Logic workshop, Utrecht, Netherlands (the). http://hdl.handle.net/20.500.12708/86880
  • Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. In L. Moss (Ed.), Electronic Proceedings in Theoretical Computer Science (pp. 293–312). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.297.19
  • Epistemic Reasoning with Byzantine-Faulty Agents / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Epistemic Reasoning with Byzantine-Faulty Agents. In A. Herzig & A. Popescu (Eds.), Frontiers of Combining Systems (pp. 259–276). Springer. https://doi.org/10.1007/978-3-030-29007-8_15
  • Through an Inference Rule, Darkly / Kuznets, R. (2019). Through an Inference Rule, Darkly. In S. Centrone, S. Negri, D. Sarikaya, & P. Schuster (Eds.), Mathesis Universalis, Computability and Proof (pp. 131–158). Springer International Publishing. https://doi.org/10.1007/978-3-030-20447-1_10
  • Maehara-style Modal Nested Calculi / Kuznets, R., & Straßburger, L. (2019). Maehara-style Modal Nested Calculi. Archive for Mathematical Logic, 58(3–4), 359–385. https://doi.org/10.1007/s00153-018-0636-1
  • Translating Quantitative Semantic Bounds into Nested Sequents / Kuznets, R., & Lellmann, B. (2019). Translating Quantitative Semantic Bounds into Nested Sequents. Fifth TICAMORE MEETING, Wien, Austria. http://hdl.handle.net/20.500.12708/86976
  • Time and Retrocausality in Distributed Systems / Kuznets, R. (2019). Time and Retrocausality in Distributed Systems. Goedel’s Legacy, Wien, Austria. http://hdl.handle.net/20.500.12708/86975
  • Byzantine Causal Cone / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Byzantine Causal Cone. Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Wien, Austria. http://hdl.handle.net/20.500.12708/86905
  • Causality in the Age of Fake News / Kuznets, R. (2019). Causality in the Age of Fake News. Seminar “Logic and Theoretical Computer Science”, University of Bern (2019), Bern, Non-EU. http://hdl.handle.net/20.500.12708/86904
  • Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / Prosperi, L., Kuznets, R., Schmid, U., Fruzsa, K., & Gréaux, L. (2019). Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone (TUW-260549). http://hdl.handle.net/20.500.12708/39204
  • Logics of Proofs and Justifications / Kuznets, R., & Studer, T. (2019). Logics of Proofs and Justifications. College Publications. http://hdl.handle.net/20.500.12708/24606

2018

2017

  • Justification logic for constructive modal logic / Kuznets, R., Marin, S., & Straßburger, L. (2017). Justification logic for constructive modal logic (No. 01614707). http://hdl.handle.net/20.500.12708/39304
  • Herbrand's Phenomena in Justification Logic / Kuznets, R. (2017). Herbrand’s Phenomena in Justification Logic. Collegium Logicum 2017, Proof Theory: Herbrand’s Theorem Revisited, Wien, Austria. http://hdl.handle.net/20.500.12708/86566
  • The Byzantine Mind / Kuznets, R. (2017). The Byzantine Mind. Seminar Logic and Theoretical Computer Science, University of Bern (2017), Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86565
  • Through an Inference Rule, Darkly / Kuznets, R. (2017). Through an Inference Rule, Darkly. Humboldt Kolleg “​Proof Theory as Mathesis Universalis,” Menaggio, Italien, EU. http://hdl.handle.net/20.500.12708/86512
  • Efficient Proof Systems for Modal Logics / Kuznets, R., & Strassburger, L. (2017). Efficient Proof Systems for Modal Logics. 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/86479
  • Modal Calculi from Semantics: a Case Study / Kuznets, R. (2017). Modal Calculi from Semantics: a Case Study. Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien, Austria. http://hdl.handle.net/20.500.12708/86100
  • Maehara-style Modal Nested Calculi / Kuznets, R., & Straßburger, L. (2017). Maehara-style Modal Nested Calculi (RR-9123). http://hdl.handle.net/20.500.12708/39305

2016

  • Craig Interpolation via Hypersequents / Kuznets, R. (2016). Craig Interpolation via Hypersequents. In D. Probst & P. Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 193–214). Walter de Gruyter GmbH. https://doi.org/10.1515/9781501502620-012
  • Weak Arithmetical Interpretations for the Logic of Proofs / Kuznets, R., & Studer, T. (2016). Weak Arithmetical Interpretations for the Logic of Proofs. Logic Journal of the IGPL, 24(3), 424–440. https://doi.org/10.1093/jigpal/jzw002
  • Grafting Hypersequents onto Nested Sequents / Kuznets, R., & Lellmann, B. (2016). Grafting Hypersequents onto Nested Sequents. Logic Journal of the IGPL, 24(3), 375–423. https://doi.org/10.1093/jigpal/jzw005
  • Interpolation Method for Multicomponent Sequent Calculi / Kuznets, R. (2016). Interpolation Method for Multicomponent Sequent Calculi. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2016 (pp. 202–218). LNCS/Springer. https://doi.org/10.1007/978-3-319-27683-0_15
  • How I stopped worrying about formulas and learned to interpolate / Kuznets, R. (2016). How I stopped worrying about formulas and learned to interpolate. Logic and Theory Group, Institute of Computer Science, University of Bern, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86511
  • Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics / Kuznets, R. (2016). Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics. FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck, Austria. http://hdl.handle.net/20.500.12708/86412
  • Craig and Lyndon Interpolation Via Labelled Sequent Calculi / Kuznets, R. (2016). Craig and Lyndon Interpolation Via Labelled Sequent Calculi. Modalities, Conditionals, and Values, Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright at the University of Helsinki, Helsinki, Finnland, EU. http://hdl.handle.net/20.500.12708/86348
  • Syntactic Interpolation: Limits and Challenges / Kuznets, R. (2016). Syntactic Interpolation: Limits and Challenges. Workshop “Proof Theory and Modal Logic,” Turin, Italien, EU. http://hdl.handle.net/20.500.12708/86347
  • Syntax Meets Semantcs to Prove Interpolation / Kuznets, R. (2016). Syntax Meets Semantcs to Prove Interpolation. Syntax Meets Semantics 2016, Barcelona, EU. http://hdl.handle.net/20.500.12708/86316
  • Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi / Kuznets, R. (2016). Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. In L. Michael & A. C. Kakas (Eds.), Logics in Artificial Intelligence (pp. 320–335). Springer LNCS. https://doi.org/10.1007/978-3-319-48758-8_21

2015

  • Realization Theorems for Justification Logics: Full Modularity / Borg, A., & Kuznets, R. (2015). Realization Theorems for Justification Logics: Full Modularity. In H. De Nivelle (Ed.), Lecture Notes in Computer Science (pp. 221–236). Springer LNCS. https://doi.org/10.1007/978-3-319-24312-2_16
  • Modal Interpolation via Nested Sequents / Fitting, M., & Kuznets, R. (2015). Modal Interpolation via Nested Sequents. Annals of Pure and Applied Logic, 166(3), 274–305. https://doi.org/10.1016/j.apal.2014.11.002
  • Interpolation Method for Multicomponent Sequent Calculi / Kuznets, R. (2015). Interpolation Method for Multicomponent Sequent Calculi. Seminar “Logic and Theoretical Computer Science”, Universität Bern, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86346
  • Proof-theoretic Approach to Craig Interpolation / Kuznets, R. (2015). Proof-theoretic Approach to Craig Interpolation. Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland, EU. http://hdl.handle.net/20.500.12708/86146
  • Justification Logic / Kuznets, R. (2015). Justification Logic. Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien, Non-EU. http://hdl.handle.net/20.500.12708/86101
  • Grafted Hypersequents / Kuznets, R. (2015). Grafted Hypersequents. Graduate Seminar Logic and Information (Münchenwiler Meeting) of Universities of Bern, Neuchâtel, and Fribourg within the framework of the Swiss Joint Master of Science in Computer Science program, Münchenwiler, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86099
  • Grafting Hypersequents onto Nested Sequents / Kuznets, R., & Lellmann, B. (2015). Grafting Hypersequents onto Nested Sequents (1502.00814). http://hdl.handle.net/20.500.12708/38665

2014