[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Kuznets:
"Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics";
Keynote Lecture: FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck (invited); 2016-11-15 - 2016-11-17.


Created from the Publication Database of the Vienna University of Technology.