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