@第{zbMATH01620823条，作者={海涅曼，伯恩哈德}，标题={满足有限链条件的拓扑模态逻辑}，FJournal={圣母院形式逻辑杂志}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={39}，数字={3}，页码={406--421}，年份={1998}，语言={英语}，DOI={10.1305/ndjfl/1039182254}，关键词={03B42,68T27,68Q55,03B70}，zbMATH={1620823}，Zbl={0977.03014}}