Brief revision of propositional logic, relations, induction in proportion to the length of formula, evidence theory, modal propositional logic, Kripke semantics, completeness results.
Teaching methods
Lectures and weekly exercises. The amount of tuition depends on the number of credits awarded for the course.