Prefix title Titel (vorangestellt)
Projektass.(FWF)
 
Full name Familienname, Vorname
KUZNETS, Roman
 
Postfix title Titel (nachgestellt)
MPhil PhD
 

Results 1-17 of 17 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform interpolation via nested sequents and hypersequentsBericht Report2021
2van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021
3Kuznets, Roman ; Centrone, Stefania ; Negri, Sara ; Sarikaya, Deniz ; Schuster, Peter Through an Inference Rule, DarklyBuchbeitrag Book Contribution 2019
4Schlögl, Thomas ; Schmid, Ulrich ; Kuznets, Roman The Persistence of False Memory: Brain in a Vat despite Perfect ClocksKonferenzbeitrag Inproceedings 2020
5Borg, Annemarie ; Kuznets, Roman ; De Nivelle, Hans Realization Theorems for Justification Logics: Full ModularityKonferenzbeitrag Inproceedings 2015
6Kuznets, Roman ; Michael, Loizos ; Kakas, Antonis C. Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiKonferenzbeitrag Inproceedings 2016
7Kuznets, Roman ; Strassburger, Lutz Maehara-style Modal Nested CalculiBericht Report2017
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, Roman ; Marin, Sonia ; Strassburger, Lutz Justification logic for constructive modal logicBericht Report2017
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
13Kuznets, Roman ; Lellmann, Björn Grafting Hypersequents onto Nested SequentsBericht Report2015
14Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
15Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Herzig, Andreas ; Popescu, Andrei Epistemic Reasoning with Byzantine-Faulty AgentsKonferenzbeitrag Inproceedings 2019
16Kuznets, Roman ; Probst, Dieter ; Schuster, Peter Craig Interpolation via HypersequentsBuchbeitrag Book Contribution 2016
17Kuznets, 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-1 of 1 (Search time: 0.001 seconds).