1. Introduction
The seminal work of Alchourrón, Gärdenfors, and Makinson [
1], gave rise to a versatile and widely-accepted formal framework, the so-called
AGM paradigm, which studies the
dynamics of knowledge, a cornerstone subject of Artificial Intelligence. Within the AGM paradigm [
1], the belief corpus of an agent is modelled as a logical theory
K of an underlying logic language, also referred to as a
belief set; the epistemic input (i.e., new information) is represented as a logical sentence
of the language; and the revision of
K by
is encoded into a revision function * that maps
K and
to a (revised) belief set
. A set of eight postulates, known as the
AGM postulates for revision, circumscribes the territory of all
rational revision functions, named
AGM revision functions.
It has been concretely shown that
iterated revision is not properly addressed by the AGM paradigm; see [
2,
3,
4]. One of the first proposals dealing with this important issue is
Spohn’s conditionalization, a natural shifting process that operates on
quantitative structures that represent preference information, the so-called
ordinal conditional functions (OCFs) [
5]. (As a matter of fact, Spohn’s conditionalization was proposed by Spohn as a general belief-change method, which implements both revision and contraction. It proves to be the case, however, that it
inherently solves the iterated-revision problem.) Inspired by Spohn’s work, which slightly deviates from the spirit of the AGM paradigm, Darwiche and Pearl introduced four new postulates, called the
DP postulates, that supplement the AGM postulates for revision in regulating successive revisions [
6]; in a sense, the DP postulates are “trying to imitate” the transitions dictated by Spohn’s conditionalization. The well-accepted framework developed by Darwiche and Pearl is typically referred to as the
DP approach. For a survey on the iterated-revision problem, the interested reader is referred to [
7], in which, beyond a concrete demonstration of this issue, a number of other notable proposals addressing it are reported.
It turned out that not all the DP postulates, as originally introduced in [
6], were consistent with the AGM postulates for revision [
8]. The inconsistency was resolved in a subsequent work by Darwiche and Pearl [
2], in which revision functions do not operate on belief sets (as it was the case in [
6]), but on some richer structures, called
belief states (also referred to as
epistemic states). It is noteworthy that Darwiche and Pearl claim that the shift from belief sets to belief states is not necessitated by technical reasons alone, as conceptual considerations also point to the same direction. Although several properties of belief states were identified by Darwiche and Pearl in [
2] (such as that each belief state is associated with a belief set),
no explicit definition of this concept was provided. Nevertheless, the nature of belief states has been the focus of recent studies [
9,
10,
11,
12], which delve into the suitability of structures such as total preorders over possible worlds and OCFs for effectively representing belief states. In order to reflect the switch from belief sets to belief states, Darwiche and Pearl modified the AGM postulates for revision accordingly; we shall refer to the revision functions satisfying these modified postulates as
modified AGM revision functions and to the modified AGM revision functions that satisfy the DP postulates as
DP revision functions.
The aim of this article is a detailed investigation of the relationship between the qualitative DP approach and the quantitative Spohn conditionalization. In particular, the following contributions are made:
First, we define a special type of modified AGM revision functions, which we call Spohn-expressible revision functions, that are perfectly aligned with the shifting process of Spohn’s conditionalization, confined to revision scenarios.
We prove that there are DP revision functions that are not Spohn-expressible, meaning that they cannot be encoded/emulated through Spohn’s conditionalization. Hence, we show that the DP approach is too liberal (under-constrained) to capture the latter mechanism, and therefore, the DP approach is not a precise qualitative counterpart of Spohn’s proposal.
Against this background, we introduce two new semantic postulates that every Spohn-expressible revision function respects, constituting the necessary conditions for Spohn expressibility. The proposed postulates impose constraints on the total preorders over possible worlds, and in doing so, strengthen the DP approach.
The interplay between aspects of the DP approach and Spohn’s proposal has not been left unattended in the literature, most notably in recent works [
13,
14,
15]. In [
13], Haldimann and Kern-Isberner examine a collection of mappings between OCFs and total preorders over possible worlds, proposing postulates to preserve key properties such as syntax splitting, and enabling a seamless method transfer between these frameworks. Kern-Isberner et al. in [
14] generalize the kinematics principle—a well-known and powerful principle which ensures that changing the probabilities of facts does not unnecessarily change conditional probabilities—a qualitative iterated revision, when belief states are represented by total preorders over possible worlds. To study the kinematics principle, the authors defined a conditionalization for the total preorders which inherit essential features from the conditionalization of OCFs. Lastly, Kern-Isberner et al. in [
15] shed light on the significance of empty layers in OCFs, proposing concepts like revision equivalence, which postulate the equivalence of OCFs after (most general) revision operations.
The rest of this article is structured as follows: The next section introduces the basic terminology and notation that we shall use throughout our exposition, followed by a brief overview of the AGM paradigm (
Section 3).
Section 4 and
Section 5 introduce Spohn’s conditionalization and the DP approach, respectively.
Section 6 is devoted to the definition of Spohn-expressible revision functions, whereas,
Section 7 studies the connection between Spohn-expressible and DP revision functions. Thereafter,
Section 8 provides the necessary conditions for Spohn expressibility. The article closes with a brief conclusion, reporting interesting avenues for future research.
3. The AGM Paradigm
Within the AGM paradigm [
1], a revision function * is modelled as a binary function that maps a theory
K and a sentence
to a revised theory
. The
AGM postulates for revision, presented subsequently, circumscribe the territory of all
rational revision functions, the so-called
AGM revision functions.
| is a belief set. |
| . |
| . |
| If , then . |
| If is consistent, then is also consistent. |
| If , then . |
| . |
| If , then . |
A detailed discussion on the AGM postulates for revision
–
can be found in [
16,
17]. Herein, we only state that, in the limiting case where the new information
does not contradict the initial belief set
K (i.e.,
), the conjunction of postulates
and
entails that revision reduces to expansion, and therefore,
. To avoid a cumbersome presentation, we shall focus our subsequent analysis on the
principal case of revision of
consistent belief sets by
consistent epistemic input
, which contradicts the initial belief set
K (i.e.,
).
As demonstrated by Katsuno and Mendelzon [
18], any AGM revision function can be
semantically constructed through a special kind of total preorders over all possible worlds, called
faithful preorders.
Definition 1 (Faithful Assignment Over Belief Sets [
18]).
A function that maps each belief set K to a total preorder over the possible worlds of is a faithful assignment over belief sets iff entails . The total preorder of Definition 1 is typically referred to as a preorder faithful to K. Intuitively, the assertion states that the world r is at least as plausible as the world relative to K.
The following theorem characterizes the class of revision functions induced from faithful assignments over belief sets.
Theorem 1 ([
18]).
A revision function * satisfies postulates – iff there exists a faithful assignment over belief sets that maps each belief set K to a total preorder over , such that, for any , the following holds: The AGM paradigm is undoubtedly a prominent framework for implementing rational belief change. Nevertheless, convincing examples have illustrated that the AGM postulates for revision are liberal in their treatment of successive revisions, as they allow unreasonable revision behaviours [
2,
3,
4]. The next two sections discuss two well-accepted methods addressing this significant issue, namely, the quantitative Spohn conditionalization (
Section 4) and the qualitative DP approach (
Section 5).
4. Spohn’s Conditionalization
Spohn argues that the iterated-revision problem “[i]s not just some important problem; it is
vital to belief revision theory” ([
3], p. 2). His proposal addressing this issue is a natural shifting process that operates on
quantitative structures that represent preference information, the so-called
ordinal conditional functions (OCFs) [
5].
Definition 2 (OCF [
5]).
An OCF κ is a function from the set of possible worlds to the class of ordinals, such that at least one world is assigned the ordinal 0. Like in [
19], for mathematical simplicity, we take the range of an OCF
to be the non-negative integers. For a world
r, we call
the
rank of
r. Intuitively,
assigns a plausibility grading to worlds; the larger the
is for some world
r, the less plausible
r is. This plausibility grading can easily be extended to sentences of
by requiring that the rank of a sentence be the smallest rank assigned to a world that satisfies the sentence.
Definition 3 (Rank of a Sentence [
5]).
For a consistent sentence , is the κ-rank of the most plausible φ-world, i.e., . The most plausible worlds (i.e., those whose -rank is zero) define the belief set with which is associated. In particular, this can be expressed as follows:
Definition 4 (Belief Set of an OCF [
5]).
The belief set associated with an OCF κ is denoted by and is defined as . Given an OCF
, a sentence
of
, and a non-negative integer
d expressing the
degree of firmness by which an agent accepts
, the
-
conditionalization of
produces a new OCF, which is denoted by
and is defined as follows:
From the above definition, a number of major differences between Spohn’s conditionalization and the revision policies dictated by the AGM paradigm is evident. First, Spohn’s construction
quantitatively defines both revision (when
) and contraction (when
) operators; on the contrary, the AGM postulates that for revision there are purely
qualitative constraints for revision operators. Second, Spohn’s approach demands
enriched epistemic input, namely, a logical formula accompanied by its degree of firmness, whereas, an AGM revision function works with a mere logical formula. Despite those important distinctions, Spohn’s conditionalization, confined to revision scenarios, is compliant with the AGM postulates for revision, in the sense that, for any degree of firmness
, the revision function * defined as
satisfies postulates
–
, as outlined in [
5,
16].
The next concrete example illustrates the shifting process of Spohn’s conditionalization.
Example 1 (Spohn’s Conditionalization).
Suppose that is built from only four atoms, let be the set of the eight possible worlds, and let φ be a sentence of such that . Moreover, let κ be the OCF depicted in Figure 1; clearly, . Assuming a degree of firmness for φ, the -conditionalization of κ produces the OCF of Figure 1. For producing from κ, all φ-worlds are uniformly shifted “downwards” against all -worlds, until the most κ-plausible of them hit the bottom of the rank. On the other hand, all -worlds are uniformly shifted “upwards”, until the most κ-plausible of them are at a distance d from the bottom. Recall that we have restricted our study to the interesting case of revision by epistemic input that contradicts the initial state of belief. In the context of revising OCFs, this sets the assumption that , and ; hence, in that case, the agent initially believes and, after revision, the agent ends up believing with a degree of firmness (see Example 1).
6. Spohn-Expressible Revision Functions
For studying the relationship between the qualitative DP approach and the quantitative Spohn construction, we first proceed with the definition of a special type of modified AGM revision functions that are perfectly aligned with the shifting process of Spohn’s conditionalization. This is accomplished with the aid of the notion of imitation, defined subsequently.
Definition 6 (Imitation). Let ∘ be a modified revision function, and let κ be an OCF. We shall say that κ imitates ∘ at a belief state S iff, for all finite sequences of sentences , there exist positive integers , such that the following holds:
Roughly speaking, an OCF imitates a modified revision function ∘ at a belief state S whenever the ∘-revision of S by any finite sequence of sentences can be “mimicked” by the revision of by the same sequence of sentences, in the sense that the resulting states of belief encompass identical belief content. This ensures that the OCF is able to “track” the outcomes of ∘ step by step, leading to convergence between Spohn’s conditionalization and revision under ∘ on the same revised belief set. Observe that, if imitates ∘ at S, then (simply replace in Definition 6 with a tautology).
Definition 7 (Spohn-Expressible Revision Function). Let ∘ be a modified revision function. We shall say that ∘ is Spohn-expressible iff, for every belief state S, there exists an OCF that imitates ∘ at S. Otherwise, we shall say that ∘ is Spohn-inexpressible.
Essentially, Spohn-expressible revision functions can be considered as a qualitative analogue of Spohn’s conditionalization. As it is shown in the next section, the class of Spohn-expressible revision functions is a proper subclass of the class of DP revision functions that also respect postulate (Ind), as there exist DP revision functions satisfying (Ind) that are Spohn-inexpressible.
We close this section with Remark 2 that points out an important observation related to the Spohn expressibility of revision functions, when multiple belief states are associated with a single total preorder over worlds.
Remark 2. Suppose that multiple belief states are associated with each total preorder over the possible worlds. Even if an OCF κ imitates a modified AGM revision function ∘ at one particular belief state S, it may not imitate ∘ at another distinct belief state , even if S and are both associated with the same total preorder over worlds. This is due to the fact that ∘ may revise differently the distinct belief states S and , for the same epistemic input (compare with Remark 1 of Section 5). 7. Spohn-Expressible Revision Functions and DP Revision Functions
In this section, we take a closer look at the relation between Spohn-expressible and DP revision functions. To that end, we first prove, in Theorem 3 below, that all Spohn-expressible revision functions are DP revision functions that respect postulate (Ind).
Theorem 3. If a modified revision function ∘ is Spohn-expressible, then ∘ is a DP revision function that satisfies postulate (Ind).
Proof. Assume that a modified revision function ∘ is Spohn-expressible, and let S be an arbitrary belief state. Hence, there exists an OCF that imitates ∘ at S. Let be any sentence of . Firstly, observe that, for any , it is true that =. It follows, then, that there is a total preorder over , defined, for any , as iff , which is faithful to S (since ), and for some , ==. Therefore, we derive from Theorem 2 that ∘ satisfies postulates –; thus, ∘ is a modified AGM revision function.
With an analogous line of reasoning, we can show that, for the total preorder corresponding to ∘ via (F∘), there exists a positive integer d such that, for any , iff . On the other hand, from the process of Spohn’s conditionalization (under our assumption that , and ), we derive the following:
- (i)
If , then iff .
- (ii)
If , then iff .
- (iii)
If and , then entails .
Then, conditions (i), (ii), and (iii) imply that and respect conditions (R1), (R2), and (IndR), respectively. This again entails that ∘ satisfies (DP1), (DP2), and (Ind), respectively. Since (Ind) implies both (DP3) and (DP4), we derive that ∘ is a DP revision function that satisfies (Ind), as desired. □
The inverse of Theorem 3 does not generally hold. That is to say, there exist DP revision functions that respect postulate (Ind) which are Spohn-inexpressible, and thus, they cannot be encoded/emulated by means of Spohn’s conditionalization. Theorem 4 proves the alluded result and essentially shows that the DP postulates are not a precise qualitative analogue of Spohn’s conditionalization, as expressed in its qualitative form through Spohn-expressible revision functions. Theorem 4 also proves that the Independence postulate (Ind) does not sufficiently constrain the class of DP revision functions so that it coincides with the class of Spohn-expressible revision functions.
Theorem 4. There exists a Spohn-inexpressible DP revision function ∘ that satisfies postulate (Ind).
Proof. We shall construct a revision scenario that exploits the ability of DP revision functions satisfying postulate (Ind) to permit “non-uniform” shifts in the plausibility of possible worlds—a behaviour not allowed by Spohn’s conditionalization.
In the context of this proof, we shall occasionally treat a set of literals as a sentence, i.e., the conjunction of all its literals, leaving it to the context to resolve any ambiguity; thus for example, in the expression “”, and are sentences of , whereas, in “”, and are worlds of .
Assume that the set of atoms contains at least three atoms, and let K be any theory such that . Given that contains at least three atoms, beyond , there exist at least four other distinct worlds in ; call these . Let S be a belief state such that , and let ∘ be a DP revision function that satisfies postulate (Ind), which assigns at S (via (F∘)) the following faithful preorder over :
- -
.
- -
, for all .
- -
, for all .
Suppose that ∘ also assigns at the belief states
and
(via (F∘)) the following faithful preorders
and
, respectively (see
Figure 2):
- -
.
- -
, for all .
- -
, for all .
and
- -
.
- -
, for all .
- -
, for all .
As expected from the fact that ∘ is a DP revision function that satisfies postulate (Ind), the transition from to , through the ∘-revision of S by , respects conditions (R1)–(R4) and (IndR). So does the transition from to , through the ∘-revision of S by .
Next, we show that ∘ is Spohn-inexpressible. Assume on the contrary that there exists an OCF that imitates ∘ at S. Then, for all , iff . To verify this, assume on the contrary that, for some , and . Then, for some , , whereas, . This of course contradicts our assumption that imitates ∘ at S. An analogous argument can be asserted for the case where and .
Moreover, since
imitates ∘ at
S, revision preserves this relationship; that is, there exist
and
, such that, for all
, as follows:
and
Let
and
. By the process of Spohn’s conditionalization, we have that
Moreover, from
, we derive that
. Hence,
, and therefore
Likewise, from Spohn’s conditionalization, we have that
Moreover, from
, we derive that
. Hence,
, and therefore
Finally, from
, we derive that
Combining relations (1), (2), and (3), we conclude that , which is a contradiction. □
As it is evident from the proof of Theorem 4, the reason that Spohn’s conditionalization fails to capture the entire class of modified AGM revision functions defined by the DP approach is, roughly speaking, that the DP postulates allow transitions from an initial belief state to (revised) belief states, such that the -worlds and/or the -worlds are shifting “non-uniformly”—even though the relative order of the worlds in and remains unchanged due to (R1) and (R2), respectively.
The conjunction of Theorems 3 and 4 entails that the class of Spohn-expressible revision functions is a
proper subclass of the class of modified AGM revision functions identified by the conjunction of postulates (DP1), (DP2), and (Ind), which are in turn a
proper subclass of the class of DP revision functions, as depicted in
Figure 3.
The identified differences between DP and Spohn-expressible revision functions are particularly relevant in scenarios where the gradual accumulation of evidence must respect highly uniform shifts in the plausibility of possible worlds. For instance, in diagnostic reasoning (e.g., medical diagnosis or fault detection in engineering), new evidence can dictate uniform “rank adjustments” that, unlike the DP approach, Spohn’s conditionalization strictly enforces. Similarly, in real-time strategic decision-making—such as multi-step planning or iterative negotiation protocols—a Spohn-expressible revision function ensures consistent plausibility modifications in line with OCFs, whereas certain DP revision functions may produce plausibility shifts that are not globally uniform. In any case, recognizing that the DP approach and Spohn’s conditionalization occupy distinct but overlapping regions of iterated revision could inspire new revision operators that permit partially uniform shifts, while retaining some of the DP approach’s flexibility. For example, an operator that employs OCFs to process evidence in a Spohn-like manner, yet allows for non-uniform adjustments under carefully circumscribed conditions, could offer a middle ground.
We conclude this section with a note on the consequences of the established results. In a recent work by the authors (co-authored by Pavlos Peppas and Mary-Anne Williams) of [
9,
23], it has been shown that each one of the DP postulates is, in a strong sense,
incompatible with Parikh’s
relevance-sensitive axiom for belief revision [
24,
25,
26]. Parikh’s axiom is a well-studied constraint that addresses the weakness of the AGM postulates for revision in capturing relevant change. On that basis, Theorems 3 and 4 imply the following important corollary.
Corollary 1. Spohn-expressible revision functions are incompatible with Parikh’s relevance-sensitive axiom.
Corollary 1 essentially points out that Spohn’s conditionalization, as qualitatively expressed through Spohn-expressible revision functions, does
not respect Parikh’s notion of relevance (a result in the spirit of Corollary 1 is Corollary 4 of ([
9], p. 1513)).
Corollary 2 is also an implication of Theorems 3 and 4.
Corollary 2. The counter-examples illustrating that the DP postulates produce unintuitive results apply to Spohn’s method for belief change as well—see [27], pp. 205–206, for counter-examples on (DP1); [28], p. 352, and [27], pp. 206–208, for counter-examples on (DP2); and [29], pp. 437–438, for counter-examples on (DP3) and (DP4). 8. Strengthening the DP Approach: New Necessary Conditions for Spohn Expressibility
Having established that the DP approach is overly liberal to serve as a qualitative analogue of Spohn’s conditionalization, this section introduces two new semantic postulates on total preorders over possible worlds, which strengthen the DP approach, and constitute necessary conditions for Spohn expressibility.
8.1. Initial Considerations
In this subsection, we introduce the formal concepts required for the alluded semantic postulates.
Definition 8 (Biased Worlds towards Sequence of Sentences). Let be two worlds of , and let be a finite sequence of sentences of . We shall say that are biased towards , which we denote by , iff, for all , either or .
Clearly, each sentence of the sequence “splits” the set of all possible worlds into two (disjoint) parts; namely, and . Hence, two worlds are biased towards iff, for each , they both belong to only one of these parts (either or ). In what follows, notation shall be an abbreviation of and , for every of the sequence .
Thereafter, let be the (finite) set of all pair sets of possible worlds of ; namely, . Since is permitted in the specification of , the set also contains singleton sets.
On that premises, Definitions 9–11 introduce a collection of binary relations over the set , which essentially encode forms of a qualitative distance between possible worlds, relative to a belief state S. We start by defining an indifference–distance relation.
Definition 9 (Indifference Distance between Worlds,
).
Let ∘ be a modified AGM revision function, let S be a belief state, and let be the total preorder over that corresponds to ∘, via (F∘). Moreover, let , be any two elements of . Define to be a binary relation over such that the following holds: | iff | there is a finite sequence of sentences ,such that ,, and |
Then, the indifference distance between , is encoded into the binary relation over . Remark 3. The binary relation over is reflexive, symmetric, and transitive. Hence, is an equivalence relation over .
Building on the indifference–distance relation, we proceed to a more general form of the distance.
Definition 10 (Distance between Worlds,
).
Let ∘ be a modified AGM revision function, let S be a belief state, and let be the total preorder over that corresponds to ∘, via (F∘). Moreover, let be the relation over that corresponds to ∘, via Definition 9, and let , be any two elements of . Define to be a binary relation over such that the following holds: | iff | there is a finite sequence of sentences , such that , , and |
Then, the distance between , is encoded into the binary relation over . Remark 4. The binary relation over is reflexive and transitive. Hence, is a partial preorder over .
Finally, we formalize the strict version of the relation .
Definition 11 (Strict Distance between Worlds, ). Let ∘ be a modified AGM revision function, let S be a belief state, and let be the total preorder over that corresponds to ∘, via (F∘). Moreover, let and be the relations over that correspond to ∘, via Definitions 9 and 10, respectively. The strict distance between any two elements , of is encoded into a binary relation over , such that iff and .
Remark 5. In Definitions 9 and 10, the involved sentences may be tautological as well. This implies that the relations , , and are also determined by the total preorder over , i.e., by the comparative plausibility of the possible worlds at the belief state S.
Remark 6. The binary relation over is transitive, but not necessarily reflexive or irreflexive.
As stated, each one of the relations , , and can be intuitively interpreted as an encoding of a qualitative distance between worlds, relative to a belief state S. In this sense, we can interpret the relations as follows. For two elements , of , the following holds:
holds whenever the qualitative distance between is equal to the qualitative distance between at S.
holds whenever the qualitative distance between is strictly shorter than the qualitative distance between at S.
holds whenever the qualitative distance between is shorter than or equal to the qualitative distance between at S.
8.2. Distance-Based Constraints on Total Preorders over Possible Worlds
Let ∘ be a modified AGM revision function. Moreover, let
S be a belief state, and let
,
and
be the relations over
that correspond to ∘, via Definitions 9–11, respectively. While, as previously stated, the aforementioned binary relations over
can be interpreted as encoding a qualitative distance between worlds, they do not inherently guarantee the necessary coherence. For instance, the revision process through ∘ may result in two elements
,
of
simultaneously satisfying
and
, or even
and
, at the same time. Obviously, such incoherences undermine the intended interpretation of a (qualitative) distance. To avoid such absurd circumstances, we can impose the following two constraints, (SPN1) and (SPN2), on the relations
and
, which ensure a coherent representation of the qualitative distance between worlds.
(SPN1) | If , then . |
(SPN2) | If , then . |
Condition (SPN1) ensures that, if holds, then it cannot be the case that or . In a similar vein, condition (SPN2) guarantees that, if holds, then it cannot be the case that . Thus, both conditions (SPN1) and (SPN2) impose constraints on the modified AGM revision function ∘, ensuring that the qualitative distance (at S) between worlds biased toward any finite sequence of sentences remains unchanged during the ∘-revision of S. This restriction preserves coherence in the qualitative comparisons of worlds during the revision process.
Remarks 7 and 8 follow immediately from Definitions 9–11.
Remark 7. In the presence of condition (SPN2), and entails .
Remark 8. Condition (SPN2) makes the binary relation over asymmetric—or equivalently irreflexive—given that a transitive binary relation is asymmetric iff it is irreflexive, and is transitive (irrespectively of (SPN2)). Hence, is a strict partial order over . Notably, in the absence of condition (SPN2), is not necessarily a strict partial order over , as asymmetry may no longer be guaranteed (see Remark 6).
Remark 9 follows from the proof of Theorem 4 of
Section 7.
Remark 9. The DP revision function ∘ (satisfying postulate (Ind)) constructed in the proof of Theorem 4 violates both conditions (SPN1) and (SPN2).
Proof. It is deduced from (
Figure 2 of) the proof of Theorem 4 that
,
, and
. From
and
, we derive that
. However, this is a contradiction in the presence of the semantic conditions (SPN1) and (SPN2). □
Interestingly, the semantic constraints (R2) and (SPN2) ensure that the Independence postulate (Ind) is respected, as Proposition 1 proves below. The converse is obviously not true, in view of Remark 9.
Proposition 1. Let ∘ be a modified AGM revision function, let S be a belief state, and let be the total preorder over that corresponds to ∘, via (F∘). Moreover, let be the relation over that corresponds to ∘, via Definition 11. If and satisfy the semantic constraints (R2) and (SPN2), then ∘ satisfies postulate (Ind).
Proof. Suppose that and satisfy conditions (R2) and (SPN2). It suffices to show that satisfies condition (IndR) as well. To that end, let be any sentence of , such that . Consider any worlds , such that , , and . We need to show that .
Suppose that z is any -minimal -world and is any -minimal -world. Since , it holds that and . Hence, we derive that .
Now, since (from ), it follows that and . Furthermore, condition (SPN2) entails that ; thus, as well. From and (R2), we derive that . Combining the above, we conclude that it must be the case that , as desired. □
8.3. The Necessity of (SPN1) and (SPN2) for Spohn Expressibility
In view of the introduced formal background, we proceed to Theorem 5 below, which proves that the new semantic conditions (SPN1) and (SPN2) are necessary conditions for Spohn expressibility.
Theorem 5. Let ∘ be a modified AGM revision function, and let S be a belief state. Moreover, let and be the relations over that correspond to ∘, via Definitions 9 and 11, respectively. If ∘ is Spohn-expressible, then and satisfy conditions (SPN1) and (SPN2).
Proof. The proof is straightforward, since, if ∘ is Spohn-expressible, then there exists an OCF that imitates ∘ at S. □