| Publication | Date of Publication | Type |
|---|
| MAXIMALITY OF LOGIC WITHOUT IDENTITY | 2024-04-05 | Paper |
| A modular bisimulation characterisation for fragments of hybrid logic | 2023-12-22 | Paper |
| A Lindström theorem for intuitionistic first-order logic | 2023-09-21 | Paper |
| Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’ | 2023-07-27 | Paper |
| Asymptotic truth-value laws in many-valued logics | 2023-06-24 | Paper |
| Frame definability in finitely valued modal logics | 2023-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6041914 | 2023-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884957 | 2023-03-24 | Paper |
| Omitting types theorem in hybrid dynamic first-order logic with rigid symbols | 2022-12-23 | Paper |
| First-order friendliness | 2022-10-25 | Paper |
| Robinson consistency in many-sorted hybrid first-order logics | 2022-08-18 | Paper |
| Paraconsistent metatheory: new proofs with old tools | 2022-07-15 | Paper |
| Relevant Consequence Relations: An Invitation | 2022-07-08 | Paper |
| A parametrised axiomatization for a large number of restricted second-order logics | 2022-07-06 | Paper |
| New foundations of reasoning via real-valued first-order logics | 2022-06-30 | Paper |
| HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? | 2022-05-25 | Paper |
| Craig interpolation theorem fails in bi-intuitionistic predicate logic | 2022-04-30 | Paper |
| Saturated models of first-order many-valued logics | 2022-03-30 | Paper |
| Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols | 2022-03-09 | Paper |
| Maximality of bi-intuitionistic propositional logic | 2022-02-08 | Paper |
| Lindström theorems in graded model theory | 2021-01-25 | Paper |
| A Lindström theorem in many-valued modal logic over a finite MTL-chain | 2021-01-19 | Paper |
| On elimination of quantifiers in some non‐classical mathematical theories | 2020-05-11 | Paper |
| A Lindström theorem for intuitionistic propositional logic | 2020-05-04 | Paper |
| INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC | 2019-10-07 | Paper |
| Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic | 2019-08-12 | Paper |
| A Lindström-style theorem for finitary propositional weak entailment languages with absurdity | 2019-01-08 | Paper |
| Variable Sharing in Substructural Logics: an Algebraic Characterization | 2018-11-23 | Paper |
| On elimination of quantifiers in some non-classical mathematical theories | 2018-09-21 | Paper |
| On Sahlqvist formulas in relevant logic | 2018-09-05 | Paper |
| On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 2018-07-16 | Paper |
| Fraïssé classes of graded relational structures | 2018-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4639905 | 2018-05-14 | Paper |
| INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY | 2018-01-17 | Paper |
| Bi-simulating in bi-intuitionistic logic | 2016-10-27 | Paper |
| THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC | 2016-04-29 | Paper |
| Craig interpolation theorem fails in bi-intuitionistic predicate logic | 0001-01-03 | Paper |
| Logical Characterizations of Weighted Complexity Classes | 0001-01-03 | Paper |
