论文标题
确保和关键标签，以介绍最大一致集的可解释性逻辑集
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
论文作者
论文摘要
关键后继者[DJV90]的概念对于可解释性逻辑中几乎所有模态完整性证明都是至关重要的。在本文中，我们将使用一个替代概念，即保证继任者。正如我们将看到的那样，对于普通和广义的Veltman语义，这将使更简洁的完整性证明。由于它们有趣的理论特性，我们将为特定类型的保证标签，所谓的完整标签和最大标签提供一些空间。在确保一般性的一般处理之后，我们将使用它来获得一定的完整性结果。也就是说，我们提供了ILW W.R.T.的另一个完整性证明普通语义和ILP W.R.T.广义语义。
The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so-called full labels and maximal labels.. After a general treatment of assuringness, we shall apply it to obtain certain completeness results. Namely, we give another proof of completeness of ILW w.r.t. ordinary semantics and of ILP w.r.t. generalised semantics.
