@InCollection{zbMATH06767612，作者={Lehtinen，Karolinia和Quickert，Sandra}，标题={通过公式构造决定模态{{\（\mu\）}}交替层次的第一级}，BookTitle={第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼}，国际标准图书编号={978-3-939897-90-3}，页码={457--471}，年份=｛2015｝，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.CSL.2015.457}，关键词={03B45,03B70,68Q60}，zbMATH={6767612}，Zbl={1434.03073}}