TY  - RPRT
TI  - Neighbourhood Structures: Bisimilarity and Basic Model Theory
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
AU  - Eric Pacuit
PY  - 2009
DO  - 10.2168/lmcs-5(2:2)2009
UR  - https://arxiv.org/abs/0901.4430
ID  - 0901.4430
ER  -