TY  - RPRT
TI  - Comonadic semantics for hybrid logic and bounded fragments
AU  - Samson Abramsky
AU  - Dan Marsden
PY  - 2021
UR  - https://arxiv.org/abs/2110.09844
ID  - 2110.09844
ER  -