帕维尔·A·阿列克谢夫。；戈洛瓦诺夫，米哈伊尔一世。 多模逻辑（S5_ nC）。 （英语） Zbl 0881.03013号 SUT J.数学。 33，第1号，1-9（1997）. 摘要：我们研究了多模态逻辑\（S5_nC\），它具有\（n\）模态\（（n>1）\），满足\（S5\）的公理，并且具有表示模态的可变性的公理。我们证明了逻辑（S5_nC）关于Kripke语义是完备的，具有有限模型性质并且是可判定的，然而我们证明了（S5_nC）不是局部有限的。主要结果包括一个识别（S5_nC）中推理规则可容许性的算法准则，即逻辑（S5_nC）相对于可容许性是可判定的。 MSC公司： 03B45 模态逻辑（包括规范逻辑） 关键词：局部有限性；可判定性；多模逻辑；克里普克语义学；有限模型特性；推理规则的可接受性 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Alexeev}和\textit{M.I.Golovanov}，SUT J.数学。33，编号1，1--9（1997；Zbl 0881.03013）