Talks and Videos
2024
Foundations for an Abstract Proof Theory in the Context of Horn Rules (The Art of Proofs, Bologna, Italy) [Slides]
2023
Nested Sequents for Quantified Modal Logics (TABLEAUX, Prague, Czech Republic, 2023) [Slides]
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules (KR, Rhodes, Greece, 2023) [Slides]
2022
Nested Sequents for First-Order Modal Logics via Reachability Rules (Research Seminar Logic and AI, Dresden, Germany, 2022) [Slides]
Proof-theoretical Characterizations of Existential Rule Classes with Bounded-treewidth (TICAMORE Workshop VIII, Virtual / Vienna, Austria, 2022) [Slides]
An Introduction to Proof Theory II: More on the Sequent Calculus (Research Seminar Logic and AI, Dresden, Germany, 2022) [Slides] [Video]
2021
Derivation Graphs, Greediness, and Bounded-treewidth in the Context of Existential Rules (Decidable Fragments of Horn First-Order Logic Seminar organized by the Action Transverse Logique at the LIRMM, Montpellier, France, 2021) [Slides]
A Framework for Intuitionistic Grammar Logics (CLAR, Virtual / Hangzhou, China, 2021) [Slides] [Video]
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement (TABLEAUX, Virtual / Birmingham, UK, 2021)
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement (TICAMORE Workshop VII, Virtual / Vienna, Austria, 2021) [Slides] [Video]
An Introduction to Proof Theory I: Sequent Calculus (Research Seminar Logic and AI, Dresden, Germany, 2021) [Slides] [Video]
2020
The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics (KBS Seminar, Dresden, Germany, 2020) [Slides]
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (CSL, Barcelona, Spain, 2020) [Slides]
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (LFCS, Deerfield Beach, Florida, USA, 2020) [Slides]
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents (LFCS, Deerfield Beach, Florida, USA, 2020)
2019
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (TICAMORE Workshop V, Vienna, Austria, 2019) [Slides]
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics (PRIMA, Turin, Italy, 2019) [Slides]
Cut-free Calculi and Relational Semantics for Temporal STIT Logics (JELIA, Rende, Italy, 2019) [Slides]
2018
Effective Translations between Display and Labelled Calculi for Tense Logics (Australian National University, Canberra, Australia, 2018) [Slides]
Tense Logics, Structural Proof Theory, and Effective Translations (University of Melbourne, Melbourne, Australia, 2018) [Slides]
Tense Logics, Structural Proof Theory, and Effective Translations (University of Denver, Denver, Colorado, USA, 2018) [Slides]
Effective Translations between Display and Labelled Calculi for Tense Logics (EICNCL, Oxford, UK, 2018) [Slides]
Internalizing Labelled Proofs for Tense Logics with Path Axioms (TICAMORE Workshop III, Nancy, France, 2018)
Mutual Translations between Display and Labelled Calculi for Tense Logics (LFCS, Deerfield Beach, Florida, USA, 2018) [Slides]
2017
Mutual Translations between Display and Labelled Calculi for Tense Logics (TICAMORE Workshop II, Marseilles, France, 2017) [Slides]
Translations between Internal and External Modal Calculi (International Summer School for Proof Theory in First-Order Logic, Funchal, Madeira, Portugal 2017)
Translating from Labeled Calculi to Display Calculi (TICAMORE Workshop I, Vienna, Austria, 2017) [Slides]