Prefix title Titel (vorangestellt)
Projektass.(FWF)
 
Full name Familienname, Vorname
Kuznets, Roman
 
Postfix title Titel (nachgestellt)
MPhil PhD
 
Scopus Author ID
 
Researcher ID
 

Results 1-16 of 16 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021
2Kuznets, Roman ; Centrone, Stefania ; Negri, Sara ; Sarikaya, Deniz ; Schuster, Peter Through an Inference Rule, DarklyBuchbeitrag Book Contribution 2019
3Schlögl, Thomas ; Schmid, Ulrich ; Kuznets, Roman The Persistence of False Memory: Brain in a Vat despite Perfect ClocksKonferenzbeitrag Inproceedings 2020
4Borg, Annemarie ; Kuznets, Roman ; De Nivelle, Hans Realization Theorems for Justification Logics: Full ModularityKonferenzbeitrag Inproceedings 2015
5Kuznets, Roman ; Michael, Loizos ; Kakas, Antonis C. Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiKonferenzbeitrag Inproceedings 2016
6van Ditmarsch-2022-A new hope-vor.pdf.jpgvan Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman ; Fernández-Duque, David ; PALMIGIANO, Alessandra ; Pinchinat, Sophie A new hopeInproceedings Konferenzbeitrag 2022
7van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Nested Sequents, Kripke Models, and Uniform InterpolationPresentation Vortrag1-Nov-2022
8Kuznets, Roman ; Studer, Thomas Logics of Proofs and JustificationsBuch Book2019
9Prosperi, Laurent ; Kuznets, Roman ; Schmid, Ulrich ; Fruzsa, Krisztina ; Gréaux, Lucas Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal ConeBericht Report2019
10Kuznets-2021-Journal of Applied Logics-vor.pdf.jpgKuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicArticle Artikel Sep-2021
11Kuznets, Roman ; Artemov, Sergei ; Nerode, Anil Interpolation Method for Multicomponent Sequent CalculiKonferenzbeitrag Inproceedings 2016
12Kuznets, Roman ; Lellmann, Björn ; Bezhanishvili, Guram ; D´Agostino, Giovanna ; Metcalfe, George ; Studer, Thomas Interpolation for Intermediate Logics via Hyper- and Linear Nested SequentsKonferenzbeitrag Inproceedings 2018
13Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
14Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Herzig, Andreas ; Popescu, Andrei Epistemic Reasoning with Byzantine-Faulty AgentsKonferenzbeitrag Inproceedings 2019
15Kuznets, Roman ; Probst, Dieter ; Schuster, Peter Craig Interpolation via HypersequentsBuchbeitrag Book Contribution 2016
16Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Moss, Lawrence Causality and Epistemic Reasoning in Byzantine Multi-Agent SystemsKonferenzbeitrag Inproceedings 2019

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



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