@第{zbMATH00896627条，作者={Ben-Eliyahu，Rachel and Magidor，Menachem}，Title={用于证明拓扑一般执行属性的时序逻辑}，FJournal＝{信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={124}，数字={2}，页码={127--144}，年份={1996}，语言={英语}，DOI={10.1006/inco.1996.010}，关键词={03B70,03B45,68Q60,68Q10,54E52}，zbMATH={896627}，Zbl={0861.03024}}