 Principles for the logic of conditionals then fall out directly of the following rationality postulates for belief revision introduced by Gärdenfors (1978) and Alchourrón, Gärdenfors, and Makinson (“AGM”, 1985). Using the abbreviation \(K+A\) for \(\iCn(K\cup\{A\})\), the eight AGM-postulates read as follows: For all belief sets \(K\) (in all BRMs \(M\)) and all sentences \(A\) and \(B\),