The Logic of Theory Change 1989: Konstanz, Germany

Foundations

Models of Theory Change

The Ramsey Test for Conditionals

Theory Change and Nonmonotonic Reasoning

Reformulations and Extensions