1. Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions;Logical Methods in Computer Science;2022-06-15
2. Belnap–Dunn Modal Logic with Value Operators;Studia Logica;2020-09-30
3. A Four-Valued Dynamic Epistemic Logic;Journal of Logic, Language and Information;2020-02-10
4. A van Benthem Theorem for Fuzzy Modal Logic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. A Dynamic Informational-Epistemic Logic;Lecture Notes in Computer Science;2018