%0 Journal Article
%T 量词模态系统的代数语义与Kripke语义——关于S5~*情形
%A 高恒珊
%J 科学通报
%P 884-885
%D 1986
%X 已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*
%U http://csb.scichina.com:8080/CN/abstract/abstract357101.shtml