Modal Logic

Modal Logic
Modal logic is an extension of ordinary, “classical” logic which allows formalizations of phrases such as “it is possible that” and “it is necessary that” (the alethic modalities). Modal logics have important applications in philosophy, but also in linguistics and computer science. The course provids an introduction to the basic systems of modal logic, both propositional and predicate, their metatheory, philosophical interpretation, and applications. We will concentrate on the alethic modalities, but also study logics of belief and knowledge, of time, of obligation, and intuitionistic logic

Rzach,,Dnorman