Some Results on Classical Preferential Models
Karl Schlechta · Journal of Logic and Computation · 1992
We first show that a result of Kraus, Lehmann and Magidor on classical preferential models does not carry over to the general infinite case. We further show that—in the absence of all restrictions on finiteness—‘logically nice’ (definability preserving) classical preferential models correspond essentially to infinite conditionalization.