@收款{zbMATH07455742，作者={Hella，Lauri and Kuusisto，Antti and R{\“o}nnholm，Raine}，标题={模态mu-calculus和一些变体的有界游戏理论语义}，BookTitle={2020年9月21日至22日在比利时布鲁塞尔举行的第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集}，页码={82--96}，年份={2020年}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，关键词={68Q45,68Q60,91A80}，URL={eptcs.web.cse.unsw.edu.au/paper.cgi？GANDALF20200.6}，zbMATH={7455742}}