LOG 430
Varieties of Logic
North Carolina State University · UGRD · Fall 2026
1 section
Catalog 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 .
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #north_carolina_state-3432Fall 2026UGRD
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?