具有Barcan公式的若干正规量词模态系统的代数语义

对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S~*关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献1]那样,通过验证性质(E)去证明。但是,除极少数系统外,(E)的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献2]与3]中的工作和高恒珊在文献4]