| Publication | Date of Publication | Type |
|---|
Proof Theory and Decision Procedures for Deontic STIT Logics
(available as arXiv preprint) | N/A | Paper |
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
(available as arXiv preprint) | N/A | Paper |
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
(available as arXiv preprint) | N/A | Paper |
| Taking bi-intuitionistic logic first-order: a proof-theoretic investigation via polytree sequents | 2026-06-09 | Paper |
| Unifying sequent systems for Gödel-Löb provability logic via syntactic transformations | 2026-06-09 | Paper |
Internal and external calculi: ordering the jungle without being lost in translations
Bulletin of the Section of Logic | 2025-12-03 | Paper |
| Decidability of quasi-dense modal logics | 2025-06-18 | Paper |
Decidability of querying first-order theories via countermodels of finite width
Logical Methods in Computer Science | 2025-05-06 | Paper |
Proof theory and decision procedures for deontic STIT logics
The Journal of Artificial Intelligence Research (JAIR) | 2025-02-03 | Paper |
| 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
Journal of Philosophical Logic | 2023-10-24 | Paper |
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
Journal of Applied Non-Classical 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
(available as arXiv preprint) | 2023-03-31 | Paper |
| The varieties of ought-implies-can and deontic \textsf{STIT} logic | 2023-02-21 | Paper |
scientific article; zbMATH DE number 7650841 (Why is no real title available?)
(available as arXiv preprint) | 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
Lecture Notes in Computer Science | 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
(available as arXiv preprint) | 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
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Display to Labeled Proofs and Back Again for Tense Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
On the correspondence between nested calculi and semantic systems for intuitionistic logics
Journal Of Logic And Computation | 2022-02-08 | Paper |
A Framework for Intuitionistic Grammar Logics
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2021-07-05 | Paper |
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
(available as arXiv preprint) | 2021-04-19 | Paper |
Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents
(available as arXiv preprint) | 2020-05-06 | Paper |
On deriving nested calculi for intuitionistic logics from semantic systems
(available as arXiv preprint) | 2020-05-06 | Paper |
Cut-free calculi and relational semantics for temporal STIT logics
(available as arXiv preprint) | 2020-02-18 | Paper |
A neutral temporal deontic STIT logic
(available as arXiv preprint) | 2020-01-30 | Paper |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2019-07-07 | Paper |
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
(available as arXiv preprint) | 2019-04-22 | Paper |
| From display to labelled proofs for tense logics | 2018-04-06 | Paper |
