Community employs formal models in the investigation of changes in
belief states and databases
Logic of theory change was the starting-point of a large, rapidly
growing literature
Valuable for researchers in logic, philosophy, and artificial
intelligence