TY  - RPRT
TI  - Formula size games for modal logic and $μ$-calculus
AU  - Lauri Hella
AU  - Miikka Vilander
PY  - 2019
DO  - 10.1093/logcom/exz025
UR  - https://arxiv.org/abs/1912.08715
ID  - 1912.08715
ER  -