| Publication | Date of Publication | Type |
|---|
| Modal reduction principles: a parametric shift to graphs | 2024-05-06 | Paper |
| Fuzzy Halpern and Shoham's interval temporal logics | 2023-10-31 | Paper |
| Rough concepts | 2023-10-25 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} | 2023-03-30 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
| Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ | 2022-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384065 | 2021-12-14 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report) | 2021-08-14 | Paper |
| Non-distributive logics: from semantics to meaning | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999269 | 2021-07-06 | Paper |
| Modelling socio-political competition | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119388 | 2020-09-04 | Paper |
| Algebraic Semantics for Hybrid Logics | 2020-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5109523 | 2020-05-12 | Paper |
| Modelling informational entropy | 2020-03-04 | Paper |
| Probabilistic Epistemic Updates on Algebras | 2019-11-22 | Paper |
| Algorithmic correspondence and canonicity for non-distributive logics | 2019-09-18 | Paper |
| The logic of vague categories | 2019-08-13 | Paper |
| Analogues of Bull’s theorem for hybrid logic | 2019-06-18 | Paper |
| Modelling competing theories | 2019-05-28 | Paper |
| Modelling informational entropy | 2019-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4625704 | 2019-02-25 | Paper |
| Goldblatt-Thomason for LE-logics | 2018-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580322 | 2018-08-15 | Paper |
| Constructive canonicity for lattice-based fixed point logics | 2017-12-20 | Paper |
| Algebraic modal correspondence: Sahlqvist and beyond | 2017-08-31 | Paper |
| Canonicity results for mu-calculi: an algorithmic approach | 2017-05-17 | Paper |
| On Sahlqvist theory for hybrid logics | 2017-05-17 | Paper |
| Categories: How I Learned to Stop Worrying and Love Two Sorts | 2016-09-09 | Paper |
| Algebraic modal correspondence: Sahlqvist and beyond | 2016-06-22 | Paper |
| Constructive Canonicity of Inductive Inequalities | 2016-03-28 | Paper |
| Sahlqvist via Translation | 2016-03-27 | Paper |
| Probabilistic Epistemic Updates on Algebras | 2015-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5253278 | 2015-06-04 | Paper |
| Unified Correspondence | 2015-05-11 | Paper |
| Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA | 2015-03-23 | Paper |
| An algebraic look at filtrations in modal logic | 2015-02-27 | Paper |
| Algorithmic correspondence for intuitionistic modal mu-calculus | 2014-12-16 | Paper |
| Algorithmic correspondence and canonicity for distributive modal logic | 2012-04-13 | Paper |
| Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA | 2011-03-22 | Paper |
| On the strength and scope of DLS | 2009-11-30 | Paper |
| IV. Semantic extensions of SQEMA | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324584 | 2009-08-03 | Paper |
| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA | 2007-10-11 | Paper |
| Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA | 2007-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483000 | 2006-08-15 | Paper |
| Correspondence Theory for Many-valued Modal Logic | N/A | Paper |
