Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: Graduate standing required.
Description
Basic work in logic of possibilities and necessities; nature of modality, theorems, and proof techniques in modal logic, possible worlds semantics, rigid and nonrigid designation, etc.