Comonadic semantics for hybrid logic and bounded fragments

Samson Abramsky, Dan Marsden

In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We exten…