Gabriel Goren Roig

According to our database¹, Gabriel Goren Roig authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Modal logic with relations over paths: A theoretical development through comonadic semantics.

[DOI]

J. Log. Comput., 2025

2024

Presenting Profunctors.

[DOI]

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, 2024

2023

A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity.

[DOI]

CoRR, 2023