| Publication | Date of Publication | Type |
|---|
| The logic of action lattices is undecidable | 2024-12-19 | Paper |
| Reasoning in commutative Kleene algebras from \(^\star\)-free hypotheses | 2024-11-20 | Paper |
| On the complexity of reasoning in Kleene algebra with commutativity conditions | 2024-09-13 | Paper |
| Algorithmic complexity for theories of commutative Kleene algebras | 2024-04-25 | Paper |
| Explorations in Subexponential Non-associative Non-commutative Linear Logic | 2024-03-14 | Paper |
| Commutative action logic | 2024-02-08 | Paper |
| Undecidability of a newly proposed calculus for CatLog3 | 2024-02-06 | Paper |
| Relational Models for the Lambek Calculus with Intersection and Constants | 2024-01-16 | Paper |
| Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) | 2023-07-06 | Paper |
| Bracket induction for Lambek calculus with bracket modalities | 2023-06-12 | Paper |
| Infinitary action logic with multiplexing | 2023-04-21 | Paper |
| Relational models for the Lambek calculus with intersection and unit | 2023-03-30 | Paper |
| Non-associative, non-commutative multi-modal linear logic | 2022-12-07 | Paper |
| Soft subexponentials and multiplexing | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104719 | 2022-09-15 | Paper |
| Language models for some extensions of the Lambek calculus | 2022-06-13 | Paper |
| Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs | 2022-05-25 | Paper |
| COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR | 2022-02-07 | Paper |
| Infinitary action logic with exponentiation | 2022-01-18 | Paper |
| Complexity of Lambek calculi with modalities and of total derivability in grammars | 2022-01-13 | Paper |
| Complexity of commutative infinitary action logic | 2021-12-01 | Paper |
| Kleene star, subexponentials without contraction, and infinite computations | 2021-10-19 | Paper |
| A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential | 2021-07-08 | Paper |
| The multiplicative-additive Lambek calculus with subexponential and bracket modalities | 2021-06-25 | Paper |
| A restricted fragment of the Lambek calculus with iteration and intersection operations | 2020-12-03 | Paper |
| Language Models for Some Extensions of the Lambek Calculus | 2020-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111318 | 2020-05-26 | Paper |
| Complexity of the Infinitary Lambek Calculus with Kleene Star | 2020-05-01 | Paper |
| Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities | 2020-04-29 | Paper |
| The complexity of multiplicative-additive Lambek calculus: 25 years later | 2020-03-04 | Paper |
| L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit | 2020-03-04 | Paper |
| Infinitary Action Logic with Exponentiation | 2020-01-19 | Paper |
| Action Logic is Undecidable | 2019-12-24 | Paper |
| Subexponentials in non-commutative linear logic | 2019-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224583 | 2019-07-24 | Paper |
| Craig’s trick and a non-sequential system for the Lambek calculus and its fragments | 2019-06-18 | Paper |
| A logical framework with commutative and non-commutative subexponentials | 2018-10-18 | Paper |
| Trivalent logics arising from L-models for the Lambek calculus with constants | 2018-08-28 | Paper |
| The Lambek calculus with iteration: two variants | 2017-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599225 | 2017-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599224 | 2017-12-18 | Paper |
| Undecidability of the Lambek calculus with subexponential and bracket modalities | 2017-11-22 | Paper |
| Eliminating the unit constant in the Lambek calculus with brackets | 2017-11-16 | Paper |
| On Lambek’s Restriction in the Presence of Exponential Modalities | 2017-07-21 | Paper |
| On translating Lambek grammars with one division into context-free grammars | 2017-02-15 | Paper |
| Undecidability of the Lambek Calculus with a Relevant Modality | 2016-12-01 | Paper |
| Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities | 2016-08-07 | Paper |
| On translating context-free grammars into Lambek grammars | 2016-01-07 | Paper |
| Lambek calculus with one division and one primitive type permitting empty antecedents | 2015-02-02 | Paper |
| L-Completeness of the Lambek Calculus with the Reversal Operation | 2014-06-24 | Paper |
| L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents | 2014-05-08 | Paper |
| Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives | 2013-08-07 | Paper |
| Lambek Grammars with the Unit | 2012-11-02 | Paper |
| Lambek grammars with one division and one primitive type | 2012-08-01 | Paper |
