TY  - RPRT
TI  - Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
AU  - Santiago Figueira
AU  - Gabriel Goren-Roig
PY  - 2024
UR  - https://arxiv.org/abs/2307.09679
ID  - 2307.09679
ER  -