@文章{zbMATH05658000，作者={Alberucci，Luca}，标题={模态{{\（\mu\）}}的序列演算-{S5}}上的演算，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN＝{0955-792X}，体积={19}，数字={6}，页码={971--985}，年份={2009}，语言={英语}，DOI={10.1093/logcom/exn106}，关键词={03B45.03F05}，URL={boris.unibe.ch/36789/1/exn106.pdf}，zbMATH={5658000}，Zbl={1266.03028}}