@第{zbMATH05720211条，作者={Kamide，Norihiro and Wansing，Heinrich}，Title={将线性时间-时间逻辑与建构性和准一致性相结合}，FJournal={应用逻辑杂志}，日志={J.Appl.Log.}，ISSN＝{1570-8683}，体积={8}，数字={1}，页码={33--61}，年份={2010}，语言={英语}，DOI={10.1016/j.jal.2009.06.001}，关键词={03B44,03B70,03B53,03F05}，zbMATH={5720211}，Zbl={1207.03022}}