A formal system for reasoning about how beliefs and knowledge change when new information is revealed.