Flavors of Logic
lProposition Logic
lPredicate Logic
lTemporal Logic
lModal Logics
lProgramming Logics
lFuzzy Logic
Studied in CS60
Some exposure in CS80
Some exposure in CS152
(Neural Networks)