Name Card

Full name Familienname, Vorname
Kuznets, Roman
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 39 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman What Proof Theory Can Do for YouPresentation Vortrag17-Jan-2024
2Girlando-2023-A decision procedure for IS4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz A decision procedure for IS4Inproceedings Konferenzbeitrag 31-Oct-2023
3Kuznets-2023-Simplicial approaches to crashing agents-vor.pdf.jpgKuznets, Roman Simplicial approaches to crashing agentsInproceedings Konferenzbeitrag 31-Oct-2023
4Randrianomentsoa-2023-Logical Methods in Computer Science-vor.pdf.jpgRandrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman Impure simplicial complexes: complete axiomatizationArticle Artikel 18-Oct-2023
5van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana Simplicial IntroductionPresentation Vortrag6-Oct-2023
6van Ditmarsch-2023-On Two- and Three-valued Semantics for Impure Simplici...-vor.pdf.jpgvan Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo On Two- and Three-valued Semantics for Impure Simplicial ComplexesInproceedings Konferenzbeitrag 30-Sep-2023
7Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 and its decidabilityPresentation Vortrag27-Sep-2023
8van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
9Cignarale-2023-Logic ofCommunication Interpretation How toNot Get Lost in...-vor.pdf.jpgCignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich Logic of Communication Interpretation: How to Not Get Lost in TranslationInproceedings Konferenzbeitrag 13-Sep-2023
10Kuznets-2023-Always Look on Both Sides of Proof Syntax and Semantics as t...-vor.pdf.jpgKuznets, Roman Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof TheoryInproceedings Konferenzbeitrag 13-Sep-2023
11Cignarale-2023-Minds and Machines-vor.pdf.jpgCignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas ; Kuznets, Roman The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed SystemsArticle Artikel Jun-2023
12Kuznets, Roman Messages Agents Send; Agents Who Send MessagesPresentation Vortrag24-Feb-2023
13Kuznets, Roman On InterpolationPresentation Vortrag28-Jan-2023
14Girlando-2023-Decidability of intuitionistic S4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Decidability of intuitionistic S4Inproceedings Konferenzbeitrag 2023
15Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023
16van Ditmarsch-2022-A new hope-vor.pdf.jpgvan Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman A new hopeInproceedings Konferenzbeitrag 2022
17Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Knowledge-based analysis of the Firing Rebels problemPresentation Vortrag2-Nov-2021
18Kuznets-2021-Journal of Applied Logics-vor.pdf.jpgKuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicArticle Artikel Sep-2021
19Kuznets, Roman ; Lellmann, Björn Interpolation for intermediate logics via injective nested sequentsArtikel Article 2021
20van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schloegl Thomas - 2020 - An Extension framework for epistemic reasoning in...pdf.jpgSchlögl, Thomas An Extension framework for epistemic reasoning in Byzantine distributed systemsThesis Hochschulschrift 2020
2Borg Annemarie - 2015 - Realizing negative introspection into justification...pdf.jpgBorg, Annemarie Realizing negative introspection into justification logic : proof-theoretic approachThesis Hochschulschrift 2015