@第{zbMATH07391977条，作者={麦卡锡，安德鲁·约瑟夫}，标题={量化模态逻辑的模态元理论，有或没有{Barcan}公式}，FJournal={圣母院形式逻辑杂志}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={62}，数字={2}，页码={285--301}，年份={2021}，语言={英语}，DOI={10.1215/00294527-2021-0015}，关键词={03B45}，zbMATH={7391977}，Zbl={1529.03154}}