View source for 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 modal logic|propositional]] and [[predicate modal logi|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

<accesscontrol>Rzach,,Dnorman</accesscontrol>