Yoàv Montacute

According to our database, Yoàv Montacute authored at least 7 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Pebble-Relation Comonad in Finite Model Theory.

Yoàv Montacute, Nihil Shah

Log. Methods Comput. Sci., 2024

Concurrent Games over Relational Structures: The Origin of Game Comonads.

Yoàv Montacute, Glynn Winskel

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Dynamic Tangled Derivative Logic of Metric Spaces.

David Fernández-Duque, Yoàv Montacute

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Dynamic Cantor Derivative Logic.

David Fernández-Duque, Yoàv Montacute

Log. Methods Comput. Sci., 2023

Cantor Derivative Logic in Topological Dynamics.

Yoàv Montacute

CoRR, 2023

Linear Arboreal Categories.

Samson Abramsky, Yoàv Montacute, Nihil Shah

CoRR, 2023

Untangled: A Complete Dynamic Topological Logic.

David Fernández-Duque, Yoàv Montacute

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023