@第{zbMATH05014657条,作者={Gattari,Mauro},标题={有限和物理模态},FJournal={圣母院形式逻辑杂志},Journal={圣母院J.形式逻辑},ISSN={0029-4527},体积={46},数字={4},页码={425--437},年份={2005},语言={英语},DOI={10.1305/ndjfl/1134397661},关键词={03B45.03B25},zbMATH={5014657},Zbl={1091.03003}}