Intro to Modal Logic and Non-Classical Logic

This is an introductory course on modal and non-classical logics. Modal logic goes beyond classical propositional logic by adding new operators that allow us to express various modes of necessity and possibility. For example, epistemic logic allows us to express what one knows, deontic logic allows us to express what ought to be the case, and tense logic allows us express what happened in the past and what will happen in the future. You will be also acquainted with various non-classical logics. A non-classical logic, as its name suggests, violates certain principles of classical propositional logic. For example, in intuitionistic/inquisitive logic the law of excluded middle is violated, in paraconsistent logic the principle of explosion is violated, in dynamic semantics the structural rule of commutativity is violated. We will see how various non-classical logics can be employed to address puzzles in language and reasoning and see how non-classical logic is connected to modal logic.