[Revised entry by Sven Ove Hansson on July 29, 2026.
Changes to: Main text, Bibliography]
In the logic of belief revision (belief change), a belief state (or database) is represented by a set of sentences. The major operations of change are those consisting in the introduction or removal of a belief-representing sentence. In both cases, changes affecting other sentences may be needed (for instance in order to retain consistency). Rationality postulates for such operations have been proposed, and representation theorems have been obtained that characterize specific types of operations in terms of these postulates….

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)