Research

I am currently interested in the algebraic, coalgebraic and duality-theoretical study of non-classical logics, in particular modal/many-valued 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.

Publications

• Pointed Modal Abelian Logic, Algebraically. Joint with Filip Jankovec.
  To appear in: Advances in Modal Logic (AiML 2026).

• 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. (available here)

• 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)

PhD Thesis

• Algebraic and coalgebraic modal logic: From Boolean algebras to semi-primal varieties, 2024. (Available here)