@misc{indiciaebec39e0b2742, title = {Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics}, author = {Santiago Figueira and Gabriel Goren-Roig}, year = {2024}, url = {https://arxiv.org/abs/2307.09679}, note = {Source identifier: 2307.09679} }