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.

This course will take place in slightly "blocked" form on 8-9 Mondays (13-15h) in April, Mai, and June.

FIRST UNIT: Monday, March 9, 13.00, Seminar room Gödel

Please register when you want to receive updates / further information. (No obligation to actually participate is entailed.)

continuous exercise tasks

Knowledge in classical propostional and first order logic