Yoàv Montacute

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

Collaborative distances:

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

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

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

2022

The Pebble-Relation Comonad in Finite Model Theory.

Yoàv Montacute, Nihil Shah

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Dynamic Cantor Derivative Logic.

David Fernández-Duque, Yoàv Montacute

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022