模态哲思逻辑

摘要：

仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两一元算子△和 ,同样可以建立一个经典模态逻辑的扩充系统--模态哲思逻辑系统.但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和 A形成下反对和反对关系的不是A,而是口A.这样就突破了从必然与可能间的关系人手的传统方法,找到了与必然形成相应对当关系的新算子.

关键词：哲思逻辑、模态哲思逻辑、对当关系

所属期刊栏目：22

分类号：B81(逻辑学(论理学))

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

页数：共4页

页码：35-38