Textbook of Belief Dynamics
The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosoph...