本文在Vakarelov的信息逻辑IL的基础上,通过引入新的模态词[≥]以及模态词间的布尔运算建立了BILC系统,研究了系统的语义,提出在布......

本文在Ｖａｋａｒｅｌｏｖ的信息逻辑ＩＬ的基础上，通过引入新的模态词以及模态词间的布尔运算建立了ＢＩＬＣ系统，研究了系统的语义，提出在布尔模态语言下解决Ｖａｋｒｅｌｏｖ问题的......