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 conditional
展开▼