@文章{zbMATH05977611，作者={Wansing，Heinrich and Kamide，Norihiro}，标题={同步线性时间时序逻辑}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={99}，数字={1-3}，页码={365--388}，年份={2011}，语言={英语}，DOI={10.1007/s11225-011-9357-8}，关键词={03B44.03F05}，zbMATH={5977611}，Zbl={1271.03026}}