@第{zbMATH06092966条，作者={Br{\“u}nnler，Kai and Studer，Thomas}，标题={模态mu-calculus}片段的句法删减，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN＝{0168-0072}，体积={163}，数字={12}，页码={1838--1853}，年份={2012}，语言={英语}，DOI={10.1016/j.apal.2012.04.006}，关键词={03B45.03F05}，zbMATH={6092966}，Zbl={1259.03031}}