| Publication | Date of Publication | Type |
|---|
| A note on formalizing discussive logic | 2025-01-20 | Paper |
| Routley star in information-based semantics | 2025-01-09 | Paper |
| Implicational Kleene algebra with domain and the substructural logic of partial correctness | 2024-11-29 | Paper |
| Epistemic logics for relevant reasoners | 2024-10-24 | Paper |
| Kleene algebra of weighted programs with domain | 2024-05-29 | Paper |
| Relevant reasoning and implicit beliefs | 2024-02-28 | Paper |
| Epistemic Logics of Structured Intensional Groups | 2024-02-28 | Paper |
| Almost APAL | 2024-02-08 | Paper |
| On the complexity of Kleene algebra with domain | 2023-08-17 | Paper |
| Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests | 2023-06-02 | Paper |
| Relevant epistemic logic with public announcements and common knowledge | 2023-03-31 | Paper |
| Relevant epistemic logic with public announcements and common knowledge | 2023-03-30 | Paper |
| Relevant reasoners in a classical world | 2023-03-24 | Paper |
| Hyperintensional logics for everyone | 2023-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104726 | 2022-09-15 | Paper |
| Propositional dynamic logic with quantification over regular computation sequences | 2022-07-01 | Paper |
| Situated epistemic updates | 2022-06-24 | Paper |
| Relevant Reasoners in a Classical World | 2022-06-07 | Paper |
| Incorporating the relation into the language? A survey of approaches in relating logic | 2022-03-29 | Paper |
| From positive PDL to its non-classical extensions | 2021-12-03 | Paper |
| Expressivity of some versions of APAL | 2021-12-01 | Paper |
| Epistemic extensions of substructural inquisitive logics | 2021-11-09 | Paper |
| Lambek calculus with conjugates | 2021-08-19 | Paper |
| Correction to: ``Lambek calculus with conjugates | 2021-08-19 | Paper |
| Inquisitive propositional dynamic logic | 2021-06-25 | Paper |
| Term negation in first-order logic | 2020-12-14 | Paper |
| Modelling sources of inconsistent information in paraconsistent modal logic | 2020-08-10 | Paper |
| Iterative division in the distributive full non-associative Lambek calculus | 2020-07-08 | Paper |
| Substructural propositional dynamic logics | 2020-03-04 | Paper |
| First degree entailment with group attitudes and information updates | 2020-01-30 | Paper |
| Non-classical PDL on the cheap | 2019-07-24 | Paper |
| Substructural epistemic logics | 2018-09-12 | Paper |
| Propositional dynamic logic with Belnapian truth values | 2018-04-23 | Paper |
| Substructural logics with a reflexive transitive closure modality | 2017-12-20 | Paper |
| Substructural logics for pooling information | 2017-11-22 | Paper |
| Relating logics of justifications and evidence | 2017-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5354811 | 2017-09-04 | Paper |
| Epistemic extensions of modal distributive substructural logics | 2017-01-31 | Paper |
| Justifications, Awareness and Epistemic Dynamics | 2015-12-11 | Paper |
| Inter-model connectives and substructural logics | 2015-06-29 | Paper |
| From pair points to pairs of models | 2013-10-23 | Paper |
| Information, awareness and substructural logics | 2013-09-17 | Paper |
| Boxes are relevant | 2013-05-15 | Paper |
| Logics of Moore's paradox | 2013-04-24 | Paper |
| A new notion of meaning connection and the logic of simple processes | 2012-11-16 | Paper |
| C. I. Lewis on possible worlds | 2010-01-29 | Paper |
