Comonadic semantics for guarded fragments
(2021)
Presentation / Conference Contribution
Abramsky, S., & Marsden, D. (2021, June). Comonadic semantics for guarded fragments. Presented at 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Rome, Italy
In previous work, it has been shown how a range of model comparison games which play a central role in finite model theory, including Ehrenfeucht-Fraïssé, pebbling, and bisimulation games, can be captured in terms of resource-indexed comonads on the... Read More about Comonadic semantics for guarded fragments.