LOG 530 - Varieties of Logic

Description
Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both LOG 430 and LOG 530. Prerequisite: Graduate standing
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2019
Offered
MW
Avg. Class Size
6
Avg. Sections
1