Research
Research
I am currently interested in the algebraic, coalgebraic and duality-theoretical study of non-classical logics, in particular many-valued modal logics and any generalizations thereof.
Below, you can find a list of my submitted and published papers. For overviews of their contents, you may want to check out the corresponding slides.
Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. Joint with Helle Hansen.
In: 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025).
Leibniz International Proceedings in Informatics 342, pp. 9:1-9:23, 2025.
doi: 10.4230/LIPIcs.CALCO.2025.9 (available here)
Positive modal logic over finite MV-chains.
In: Advances in Modal Logic (AiML 2024).
Volume 15, pp. 587-608, College Publications, 2024.
Natural dualities for varieties generated by finite positive MV-chains.
Algebra Universalis 85, article no. 37, 2024.
doi: 10.1007/s00012-024-00868-2 (arXiv version here)
Many-valued coalgebraic logic over semi-primal varieties. Joint with Alexander Kurz and Bruno Teheux.
Logical Methods in Computer Science 20 (3), pp. 6:1-6:32, 2024.
doi: 10.46298/lmcs-20(3:6)2024 (available here)
New perspectives on semi-primal varieties. Joint with Alexander Kurz and Bruno Teheux.
Journal of Pure and Applied Algebra 228 (4), article no. 107525, 2024.
doi: 10.1016/j.jpaa.2023.107525 (arXiv version here)
Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. Joint with Alexander Kurz.
In: 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
Leibniz International Proceedings in Informatics 270, pp. 17:1-17:17, 2023.
doi: 10.4230/LIPIcs.CALCO.2023.17 (available here)
The minor order of homomorphisms via natural dualities. Joint with Bruno Teheux.
Order 40 (1), pp. 99-125, 2022.
doi: 10.1007/s11083-022-09595-6 (arXiv version here)
Algebraic and coalgebraic modal logic: From Boolean algebras to semi-primal varieties, 2024. (Available here)