论文部分内容阅读
本文在Vakarelov的信息逻辑IL的基础上,通过引入新的模态词[≥]以及模态词间的布尔运算建立了BILC系统,研究了系统的语义,提出在布尔模态逻辑语言下解决Vakarelov问题的思想,主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统,IL系统的研究方法对BILC语言框架下的研究是行不通的.