@文章{zbMATH01289850，作者={Bellissima，Fabio和Cittadini，Saverio}，Title={时态逻辑中的有限树}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={62}，数字={2}，Pages＝{121-140}，年份={1999}，语言={英语}，DOI={10.1023/A:1026456817552}，关键词={03B44.03B45}，zbMATH＝{1289850}，Zbl={0970.03024}}