Modal Logic

The study of modal terms such as "possibly," "necessarily" and their role in deductive reasoning.