@收款{zbMATH01574461，作者={Cerrito，Serenella and Cialdea Mayer，Marta}，Title={有限帧上命题线性时间逻辑的标记表}，BookTitle={标签扣减。基于1998年9月德国弗莱堡LD'98第一次国际研讨会，国际标准图书编号={0-7923-6237-3}，页码={135--159}，年份＝{2000}，出版商={Dordrecht:Kluwer Academic Publishers}，语言={英语}，关键词={03B44.03B35}，zbMATH={1574461}，Zbl={0966.03018}}