Role

2019W

2020S

 

2019

2018

2017

2016

2015

  • Interpolation Method for Multicomponent Sequent Calculi / R. Kuznets / Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29
  • Justification Logic / R. Kuznets / Talk: Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien (invited); 2015-09-14 - 2015-09-18
  • Proof-theoretic Approach to Craig Interpolation / R. Kuznets / Keynote Lecture: Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland (invited); 2015-08-03 - 2015-08-08
  • Grafted Hypersequents / R. Kuznets / Talk: 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 (invited); 2015-03-25
  • Modal Interpolation via Nested Sequents / R. Kuznets, M. Fitting / Annals of Pure and Applied Logic, 166 (2015), 3; 274 - 305
  • Realization Theorems for Justification Logics: Full Modularity / A. Borg, R. Kuznets / Talk: 24th International Conference, TABLEAUX 2015, Breslau, Polen; 2015-09-21 - 2015-09-24; in: "Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wrosław, Poland, September 21-24, 2015, Proceedings", H. De Nivelle (ed.); Springer LNCS, 9323 (2015), ISBN: 978-3-319-24311-5; 221 - 236
  • Grafting Hypersequents onto Nested Sequents / R. Kuznets, B. Lellmann / Report for arXiv; Report No. 1502.00814, 2015; 41 pages

2014