Helle Hvid Hansen Clemens Kupke Eric Pacuit Neighbourhood Structures: Bisimilarity and Basic Model Theory http://arxiv.org/abs/0901.4430 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0901-4430 2