@收款{zbMATH07220053，作者={Balbiani，Philippe}，Title={关于无界密集线性序词典编纂产物的时间逻辑：其可计算性的新研究}，BookTitle={非经典逻辑及其应用。第八届逻辑与认知国际研讨会后刊，WOLC 2016，中国广州，2016年12月5-9日}，国际标准图书编号={978-981-15-1341-1；978-981-15-1342-8}，页码={67--83}，年份={2020年}，Publisher={新加坡：Springer}，语言={英语}，DOI={10.1007/978-981-15-1342-8_3}，关键词={03B44.06A05,03B25,03D15}，zbMATH={7220053}，Zbl={1484.03030}}