@第{zbMATH07708094条，作者={赵志光}，Title={J{\'o}分配模态{{\（\mu\）}}-演算}中的nsson-style规范性，FJournal={IGPL的逻辑杂志}，日志={Log.J.IGPL}，ISSN＝{1367-0751}，体积={31}，数字={3}，页码={401--421}，年份={2023}，语言={英语}，DOI={10.1093/jigpal/jzab032}，关键词={03B45}，zbMATH={7708094}，Zbl={1515.03112}}