FIGUEIRA, SANTIAGO; GOREN-ROIG, GABRIEL

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

JOURNAL OF LOGIC AND COMPUTATION; Año: 2025