In belief revision he created the AGM account of theory change with Carlos Alchourrón and Peter Gärdenfors.
David Bowie | David Lynch | David | Late Show with David Letterman | David Cameron | David Beckham | David Lloyd George | David Hume | David Hockney | David Letterman | David Byrne | David J. Eicher | David Mamet | David Foster | Late Night with David Letterman | David Ben-Gurion | Jacques-Louis David | David Guetta | David Carradine | Henry David Thoreau | David Tennant | David Niven | David Essex | David A. Stewart | David Sanborn | David Livingstone | David Garrick | David Crosby | David Attenborough | David Souter |
The AGM postulates (named after the names of their proponents, Alchourrón, Gärdenfors, and Makinson) are properties that an operator that performs revision should satisfy in order for that operator to be considered rational.