The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in various ways. This book contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. It can be used by specialists in field of belief dynamics and related areas.