@第{zbMATH07350713条，作者={Takano，Mitio}，Title={模态逻辑{KC4}}的修改子公式属性，FJournal={Nihonkai数学杂志}，期刊={Nihonkai Math.J.}，ISSN={1341-9951}，体积={31}，数字={1}，页码={35--44}，年份={2020年}，语言={英语}，关键词={03B45.03F05}，zbMATH={7350713}，Zbl={1477.03061}}