Comonadic semantics for hybrid logic.

Samson Abramsky, Dan Marsden

Browse the full MFCS paper archive.