Untangled: A Complete Dynamic Topological Logic. - David Fernández-Duque; Yoàv Montacute (AAAI, 2023)

Linear Arboreal Categories. - Samson Abramsky; Yoàv Montacute; Nihil Shah (CoRR, 2023)

Cantor Derivative Logic in Topological Dynamics. - Yoàv Montacute (CoRR, 2023)

Dynamic Cantor Derivative Logic. - David Fernández-Duque; Yoàv Montacute (Log. Methods Comput. Sci., 2023)

Dynamic Tangled Derivative Logic of Metric Spaces. - David Fernández-Duque; Yoàv Montacute (AAAI, 2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads. - Yoàv Montacute; Glynn Winskel (LICS, 2024)

The Pebble-Relation Comonad in Finite Model Theory. - Yoàv Montacute; Nihil Shah (Log. Methods Comput. Sci., 2024)