@第{zbMATH07041827条，作者＝{瓦坦杜斯特、迈赫迪和埃斯塔吉、阿里·阿克巴尔和波尔坎达尼、拉希梅}，标题={因果结构中的广义模态逻辑}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={768}，页码={43--53}，年份={2019}，语言={英语}，DOI={10.1016/j.tcs.2019.02.006}，关键词={68T37,03B45,68Q85,83C75}，zbMATH={7041827}，Zbl={1417.68217}}