关于模态公理系统P1-P5的布尔值

摘要：

证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1，而分别与S1和S5等价的系统P1和P5的布尔值不能确定. 由此，证明了VB是P2-P4的布尔值模型.

关键词：布尔值、模态公理系统、严格蕴涵系统

所属期刊栏目：31

分类号：O144(数理逻辑、数学基础)

资助基金：普通高等学校人文社会科学重点研究基地基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：12-16