@收款{zbMATH07208733，作者={Cabalar、Pedro和Schaub、Torsten}，Title={带有时态描述逻辑公理的时态逻辑程序}，BookTitle={描述逻辑、理论组合等等。在弗兰兹·巴德60岁生日之际，为他撰写的论文}，国际标准图书编号={978-3-030-22101-0；978-3-0.30-22102-7}，页码={174--186}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-22102-7_8}，关键词={68T27,03B44,68N17,68T30}，zbMATH={7208733}，Zbl={1443.68173}}