Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
Proceedings of the Coalgebraic Methods in Computer Science, 2024
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR, 2023
Hennessy-Milner Theorems via Galois Connections.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023