弗拉基米尔·里巴科夫。 模态逻辑的准特征推理规则。 （英语） Zbl 0887.03014号 Adian，S.（编辑）等人，《计算机科学的逻辑基础》。第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1234, 333-341 (1997). 摘要：本文的目的是开发表征模态逻辑准特征推理规则的技术。我们描述了拟特征规则在代数上有效的一个充要条件，并得到了关于拟特征规则可导性的基本性质。使用这种方法，我们用有限模型特性来刻画所有结构完整的逻辑。本文的主要结果刻画了模态逻辑S4和K4的可容许准特征推理规则。我们还证明了逻辑S4中可接受的所有拟特征推理规则集都有一个有限基，该基由三个精确描述的特殊规则组成。有关整个系列，请参见[Zbl 0865.00035号]. 引用于三文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：模态逻辑;准特征推理规则;结构完备逻辑;有限模型特性 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，莱克特。注释计算。科学。1234333--341（1997；Zbl 0887.03014）