Parikh’s relevance-sensitive axiom (P) for belief revision is open to two different interpretations, i.e. the weak and the strong version of (P), both of which are plausible depending on the context. Given that strong (P) has not received the attention it deserves, in this article, an extended examination of it is conducted. In particular, we point out interesting properties of the semantic characterization of the strong version of (P), as well as a vital feature of it that, potentially, results in a significant drop on the resources required for an implementation of a belief-revision system. Lastly, we shed light on the natural connection between global and local revision functions, via their corresponding semantic characterization, hence, a means for constructing global revision functions from local ones, and vice versa, is provided.

中文翻译：

---

关联敏感信念修订的可能世界语义学研究

帕里克关于信念修正的关联敏感公理（P）对两种不同的解释持开放态度，即（P）的弱版本和强版本，这两种情况都可以视情况而定。鉴于强（P）尚未得到应有的重视，在本文中，将对其进行扩展检查。特别是，我们指出了（P）的强版本的语义表征的有趣属性，以及它的重要特征，该潜在特征可能会导致实现信念修订的资源大大减少。系统。最后，我们通过全局和局部修订功能之间的相应语义特征，揭示了它们之间的自然联系，因此，提供了一种从局部功能构造全局修订功能的方法，反之亦然。