Modal logic is the logic of necessity and possibility and other such notions. In recent times, the framework of possible worlds has provided a valuable tool for investigating the formal properties of these notions. This course provides an introduction to the basic concepts, methods, and results of modal logic, with an emphasis on its application to such other fields as philosophy, linguistics, and computer science.

Philosophy (Undergraduate) 4 credits - 15 Weeks