@第{zbMATH01599621条，作者={佐丹奴、劳拉和马泰利、阿尔贝托和施温德、卡米拉}，Title={动态线性时间时序逻辑中动作的推理}，FJournal={IGPL的逻辑杂志}，日志={Log.J.IGPL}，ISSN={1367-0751}，体积={9}，数字={2}，页码={273--287}，年份={2001}，语言={英语}，DOI={10.1093/jigpal/9.2.273}，关键词={03B44.68T27}，URL={semanticscholar.org/paper/0a51e20bece1d29503938849e7c4def5f72a2e33}，zbMATH＝{1599621}，Zbl={0979.03015}}