Modal logic is an important extension of classical logic. In philosophy, it can be viewed as a technical tool for formally investigating a range of key concepts, such as knowledge, obligation, time, and counterfactuals. Throughout this course, students will learn the basic concepts and techniques of modal logic so they can apply them in the future across various areas of philosophy, as well as in fields like computer science and game theory.