Talks
The following talks were given in connection with the project:
- Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity (at TABLEAUX 2017, Brasília, Brasil, 2017)
-
General methods in proof theory for modal logics (Joint tutorial with Revantha Ramanayake at TABLEAUX 2017, Brasília, Brasil, 2017)
Lecture 1, Lecture 2, Lecture 3, Lecture 4 - Marie Sklodowska-Curie Actions -- Lessons learned from a (un-)successful application (at the EU Forschungssupport Informationsveranstaltung, TU Wien, Austria, 2017)
- Analytic calculi for intermediate logics: A nested sequent approach (at ALCOP VIII, Glasgow, UK, 2017)
- The Linear Nested Sequent Framework (at Laboratoire des Sciences de l'Information et des Systèmes, Aix-Marseille Université, France, 2016)
- Linear Nested Sequents (at the Workshop on Efficient and Natural Proof Systems, Bath, UK, 2015)
- The Framework of Linear Nested Sequents (at the Researcher's Seminar of the Theory and Logic Group, TU Wien, Austria, 2015)
- Linear Nested Sequents, 2-sequents and Hypersequents (at TABLEAUX 2015, Wrocław, Poland, 2015)
- Proof Theoretic Reasoning 2, Part 1 and Part 2 (my part of an invited joint tutorial with Revantha Ramanayake at the TRS Reasoning School, Nat@logic 2015, Natal, Brasil, 2015).
- Grafting Hypersequents onto Nested Sequents (at GeTFun 3.0, Nat@logic 2015, Natal, Brasil, 2015).