In this chapter, an exploration of the logical structure underlying theory change is provided. Essential components including epistemic states and attitudes are detailed, explaining their roles in belief modification processes. The chapter clarifies different types of epistemic attitudes and outlines the logical frameworks governing belief states. Various rationality criteria guiding epistemic changes are established, forming foundational principles for subsequent discussions. Additionally, the formal preliminaries essential for the remainder of the book are systematically introduced.