This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

“The explanations are concise and clear; the organization is transparent, so that readers can dip in and out of topics that particularly interest them. … The volume thus serves as a road map or, one could say, a GPS, for those seeking a bird’s-eye view with opportunities to zoom into details of the terrain.” (David Makinson, zbMATH 1458.03001, 2021)