| Publication | Date of Publication | Type |
|---|
| Finite-cliquewidth sets of existential rules: toward a general criterion for decidable yet highly expressive querying | 2024-10-08 | Paper |
| Internal and External Calculi: Ordering the Jungle without Being Lost in Translations | 2023-12-06 | Paper |
| A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations | 2023-10-24 | Paper |
| Nested sequents for intermediate logics: the case of Gödel-Dummett logics | 2023-08-16 | Paper |
| Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets | 2023-07-17 | Paper |
| Nested Sequents for Quantified Modal Logics | 2023-07-16 | Paper |
| Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules | 2023-06-04 | Paper |
| Decidability of Querying First-Order Theories via Countermodels of Finite Width | 2023-04-13 | Paper |
| Foundations for an Abstract Proof Theory in the Context of Horn Rules | 2023-04-12 | Paper |
| A framework for intuitionistic grammar logics | 2023-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878364 | 2023-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874215 | 2023-02-07 | Paper |
| Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement | 2022-10-31 | Paper |
| Nested Sequents for First-Order Modal Logics via Reachability Rules | 2022-10-03 | Paper |
| Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying | 2022-09-06 | Paper |
| A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms | 2022-08-30 | Paper |
| Uniform and Modular Sequent Systems for Description Logics | 2022-06-17 | Paper |
| Nested sequents for intuitionistic modal logics via structural refinement | 2022-05-25 | Paper |
| Automating Reasoning with Standpoint Logic via Nested Sequents | 2022-05-05 | Paper |
| Display to Labeled Proofs and Back Again for Tense Logics | 2022-02-24 | Paper |
| On the correspondence between nested calculi and semantic systems for intuitionistic logics | 2022-02-08 | Paper |
| A Framework for Intuitionistic Grammar Logics | 2021-10-02 | Paper |
| Refining Labelled Systems for Modal and Constructive Logics with Applications | 2021-07-30 | Paper |
| Nested Sequents for Intuitionistic Modal Logics via Structural Refinement | 2021-07-05 | Paper |
| On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics | 2021-04-19 | Paper |
| Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents | 2020-05-06 | Paper |
| On deriving nested calculi for intuitionistic logics from semantic systems | 2020-05-06 | Paper |
| Cut-free calculi and relational semantics for temporal STIT logics | 2020-02-18 | Paper |
| A neutral temporal deontic STIT logic | 2020-01-30 | Paper |
| Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents | 2019-10-11 | Paper |
| Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics | 2019-08-29 | Paper |
| A Neutral Temporal Deontic STIT Logic | 2019-07-07 | Paper |
| Cut-free Calculi and Relational Semantics for Temporal STIT Logics | 2019-04-22 | Paper |
| From display to labelled proofs for tense logics | 2018-04-06 | Paper |
| Proof Theory and Decision Procedures for Deontic STIT Logics | N/A | Paper |
| Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents | N/A | Paper |
| Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents | N/A | Paper |
