TY  - RPRT
TI  - The Expressive Power of Epistemic $μ$-Calculus
AU  - Cătălin Dima
AU  - Bastien Maubert
AU  - Sophie Pinchinat
PY  - 2014
UR  - https://arxiv.org/abs/1407.5166
ID  - 1407.5166
ER  -