This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision & reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic & temporal as well as counterfactuals.