A Textbook Of Belief Dynamics

The 1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. This textbook contains both di... » 

The 1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. This textbook contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented, covering these tools. «