Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics

Santiago Figueira, Gabriel Goren-Roig

Game comonads provide categorical semantics for comparison games in Finite Model Theory, thus providing an abstract characterisation of logical equivalence for a wide range of logi…