@第{zbMATH07451585条，作者={Pedersen、Mina Young和Smets、Sonja和{\AA}gotnes、Thomas}，标题={模态逻辑和群极化}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={31}，数字={8}，页码={2240--2269}，年份={2021}，语言={英语}，DOI={10.1093/logcom/exab062}，关键词={03-XX，68-XX}，zbMATH={7451585}}