This course studies formal logic covering both propositional and first-order logic. This course will discuss more complex logical languages and topics such as be necessity, possibility, fuzzy logics and multi-valued logics.

Learning Outcomes:

• Understand the semantics, syntax, and proof structures of a variety of modal logics.
• Identify the appropriate semantics, syntax, and proof structures of different non-classical logics.
• Learn how to construct proofs of theorems, tautologies, and valid arguments.