Full course description
This course deals with three logical systems, namely propositional logic, first-order predicate logic and epistemic logic. The course covers notation systems, syntax and semantics, valid consequences, deduction, semantic tableaux, and proof systems.
None. The course appears as a prerequisite for the course Logic for AI.