@第{zbMATH06192809条，作者={D'Agostino，Giovanna和Lenzi，Giacomo}，Title={关于模态{{\（\mu\）}}-{{（S5\）}和应用程序}中的演算，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积={124}，数字={4}，页码={465--482}，年份={2013}，语言={英语}，DOI={10.3233/FI-2013-844}，关键词={68Q60,03B45,68Q17}，zbMATH＝{6192809}，Zbl={1284.68391}}