Deals with the concepts of necessity and possibility, and introduces operators like "must", "may", "can".