TY  - RPRT
TI  - Expressiveness of the modal mu-calculus on monotone neighborhood structures
AU  - Sebastian Enqvist
AU  - Fatemeh Seifan
AU  - Yde Venema
PY  - 2015
UR  - https://arxiv.org/abs/1502.07889
ID  - 1502.07889
ER  -