CCCLogicII
Course Title
Logic II
Course Type
CUGS CS Review / CUGS CS Core / CUGS CS Advanced
/ Other
Periodicity
Once a year
Suggested # of Credits
4.0 HE Credits (Higher Education Credits)
Intended audience
Doctoral students having a some background in logics (introductory
course)
Course goal
The course goal is to provide the participants with a broad
knowledge on modern logics and their applications in computer science,
in particular in artificial intelligence, automated theorem proving and
formal specification and verification of software. Issues on incomplete
and inaccurate information are also discussed.
The participans will learn how to chose and/or develop a logic for
a articular application domain together with proof systems, with the
emphasis on automated verification of satisfiability and validity of
formulas.
Prerequisites
Logic I
Related courses
Not yet available.
Contents

Proof and model theory: soundness and completeness, semantic
tableaux, natural deduction, sequent calculus, resolution, Horn
theories, logic programming. Not all proof methods will be covered, but
selected methods will be covered in depth.

Selected issues in meta theory of which the following are
representative issues: LowenheimSkolem theorem, Herbrand's theorem,
compactness, Lindström's theorem, Gödel's incompleteness
theorem, axiomatization of natural, rational and real numbers.

Introduction to nonstandard logics: modal logic, 2ndorder
logic.
Organized by
Department of Computer Science, Linköping University
Organization
See course schedule.
Examination
Take home exam/assignment.
Literature
Lecture Notes
Examiner
Andrzej Szalas
Course homepage
None.
Other information
The course is given in an intensive format ("crash course") at a
conference facility.
