Editing Counterfactual conditional (section)

====Ginsberg====

Ginsberg (1986) has proposed a semantics for conditionals which assumes that the current beliefs form a set of [[propositional formula]]e, 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.<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 | volume=30 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH | doi=10.1016/0004-3702(86)90067-6 |zbl=0655.03011 | last1=Ginsberg | first1=Matthew L. | s2cid=241535532 |doi-access=free }}.</ref>