@第{zbMATH07168179条，作者={Demri，St{\ee}phane和Fervari，Raul}，标题={模态分离逻辑的力量}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={29}，数字={8}，页码＝{1139-1184}，年份={2019}，语言={英语}，DOI={10.1093/logcom/exz019}，关键词={03B70,03B45,68Q60}，zbMATH={7168179}，Zbl={1444.03113}}