Ginsberg (1986) has proposed a semantics for conditionals which assumes that the current beliefs form a set of propositional formulae, considering the maximal sets of these formulae that are consistent with "A", and adding "A" to each. The rationale is that each of these maximal sets represents a possible state of belief in which "A" is true that is as similar as possible to the original one. The conditional statement "A" > "B" therefore holds if and only if "B" is true in all such sets.