【摘要】 本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．更多还原

【Abstract】 By introducing the new modality and the Boolean operators among modalities,this paper establishes information logic system BILC, and suggests that BILC is a useful tool in the researching into Vakarelov’s open problem. The completeness and soundness of BILC with respect to the nonstandard frames are proved. Furthermore, the main result of the paper reveal that the method presented by Vakarelov is ill-suited for dealing with the completeness of BILC with respect to the standard frames.更多还原