This course deals with various non-classical logical systems. It requires familiarity with standard propositional and predicate logic (first-order logical calculus), including derivations and tableaux. The course is divided into three parts: modal logic (we will cover basic as well as normal modal logics); multi-value logic (such as Jan Lukasiewicz’s three-value logic), and intuitionist logic (e.g., possible-worlds semantics). We will cover proofs, theorems as well as paradoxes, from each section. Graham Priest’s Introduction to Non-Classical Logic: From If to Is will be the main text used in the course.