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