A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity. - Santiago Figueira; Gabriel Goren Roig (CoRR, 2023)

Modal logic with relations over paths: A theoretical development through comonadic semantics. - Santiago Figueira; Gabriel Goren Roig (J. Log. Comput., 2025)