@第{zbMATH00957480条，作者={Reynolds，Mark}，Title={公理化一阶时序逻辑：{Until}和since over linear time}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={57}，数字={2-3}，页码={279--302}，年份={1996}，语言={英语}，DOI={10.1007/BF00370836}，关键词={03B45}，zbMATH={957480}，Zbl={0864.03015}}