基础生成的多元部分收缩的一个公理化刻画(英文)

这篇论文结合了两种信念收缩的 AGM 框架的推广,分别为:(1)基础生成收缩,其中信念集的变化是从某个信念基的变化生成的;(2)多元收缩,其中几个句子一次过同时被消去。本文引入了一个结合以上两种推广的运算,"基础生成的多元部分收缩",并将其进行了公理化刻画。     

编者导语

<正>现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的"数理逻辑黄金时代"和70年代的"哲学逻辑黄金时代"。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类型论;一阶逻辑成为大写的逻辑(the logic)则要     

布尔模态的公理化（英文）

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。