This course will be in English. It will be an introduction and overview to modal logic. We will look at the basic modal logic of necessity and possibility, and then we will look at a range of applications, including epistemic logic, temporal logic, and deontic logic, and extensions, such as two-dimensional logic and counterfactual logic. Students will develop their understanding of the concepts involved by doing regular problem sets and a more in-depth exploration of one area, on which they will give a brief presentation.