论文标题
广义veltman语义的概述
An overview of Generalised Veltman Semantics
论文作者
论文摘要
可解释性逻辑具有关系语义àlaKripke：Veltman语义。但是，对于某些应用，该语义不够细化。早在1992年，在De Jongh的研究小组中，普遍的Veltman语义的概念出现了，以获得某些非衍以性结果，如Verbrugge（[76]）首次提出。事实证明，这种语义具有各种良好的属性。特别是，在许多情况下，完整性证明变得更简单，更丰富的语义将允许过滤论证，而不是常规的Veltman语义。本文旨在概述到当前日期之前的广义Veltman语义的结果和应用。
Interpretability logics are endowed with relational semantics à la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of generalised Veltman semantics emerged to obtain certain non-derivability results as was first presented by Verbrugge ([76]). It has turned out that this semantics has various good properties. In particular, in many cases completeness proofs become simpler and the richer semantics will allow for filtration arguments as opposed to regular Veltman semantics. This paper aims to give an overview of results and applications of Generalised Veltman semantics up to the current date.
