Submitted
Accepted
- Fixed Point Logics and Definable Topological Properties (extended version). With David Fernández-Duque. Mathematical Structures in Computer Science, 2023.
- Basing Belief on Quasi-Factive Evidence. Global Philosophy, 2023. [view] [pdf]
- Projective relative unification through duality. With Philippe Balbiani. Journal of Logic and Computation, 2023.
- Some completeness results in derivational modal logic. Journal of Logic and Computation, 2023. [HAL]
- Fixed Point Logics on Hemimetric Spaces. With David Fernández-Duque. 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023. [HAL]
- Fixed Point Logics and Definable Topological Properties. With David Fernández-Duque. International Workshop on Logic, Language, and Computation, 2022. [pdf]
- Projective unification through duality. With Philippe Balbiani. Advances in Modal Logic, 2022. [HAL]