TY  - RPRT
TI  - Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
AU  - Lauri Hella
AU  - Antti Kuusisto
AU  - Raine Rönnholm
PY  - 2020
DO  - 10.4204/eptcs.326.6
UR  - https://arxiv.org/abs/2009.10880
ID  - 2009.10880
ER  -