@第{zbMATH06063596条，作者={卡米德，诺里希罗}，标题={动态拓扑和线性时间逻辑中的删减和完备性}，FJournal={Logique et Analyse.Nouvelle S{\ee}rie}，Journal＝｛Log.Anal.，Nouv.S｛\'e｝r｝，ISSN={0024-5836}，体积={54}，数字={215}，页码={379--394}，年份={2011}，语言={英语}，关键词={03B44.03F05}，zbMATH={6063596}，Zbl={1260.03032}}