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