@第{zbMATH01308105条，作者={Henriksen，Jesper G.和Thiagarajan，P.S.}，标题={动态线性时间时序逻辑}，FJournal={纯逻辑与应用逻辑年鉴}，Journal＝{Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={96}，数字={1-3}，页码={187--207}，年份={1999}，语言={英语}，DOI={10.1016/S0168-0072（98）00039-6}，关键词={03B44.03B70,03D05,68Q60}，zbMATH={1308105}，Zbl={0931.03033}}