Knowlegde of concepts and basic skills in the area of modal logic and related logics. To this aim adequate tools of mathematical logic have to be mastered and basic skills (like, e.g., inductive proofs and formal evaluation with respect to various semantic structures) are trained.

Introduction into modal logic, in particular epistemic logic (logics of knowledge), intuitionistic logics, many valued logics, including fuzzy logics. In particular, a number of relevant results from proof theory and formal semantics (e.g., correctness, completeness, complexity of logics and calculi) are covered. Moreover also foundational problems relating to formal, logical modeling of important concepts in computer science will be discussed.

See http://www.logic.at/lvas/185249/

Grading is based on the amount and quality of submitted solutions to the exercises  assigned during the course.