Non-classical logics

  • Viorica Sofronie-Stokkermans

  • Registration and/or questions: e-mail to

  • Time and place:
  • Lecture: Mi, 16:00-18:00, Room E 016 (weekly); and Mi, 10:00-12:00, Room C 208 (every two weeks)
  • Exercise: Mi, 10:00-12:00, Room C 208 (every two weeks)
  • We try to find a new time for the lecture/exercise currently scheduled on Thursday.
    We created a doodle for this. Please fill in the dates which are
    possible for you until Wednesday, 30.10.2013, 9:00.

    Doodle: Umfrage zur Vorlesung/Übung

    Course Materials
  • Slides
  • Exercises

  • Exam
  • Termin 1: Oral examination, Friday, 21.02.2014, Room B 225, starting 10:30.

  • Summary of topics: [summary.pdf]
  • Question/Answer Session: Tuesday, 20.02.2014, 11:00 in Room B 225.
  • Termin 2: Oral examination, Friday, 11.04.2014, starting at 10:30, Room B 225.

  • Course description:

    The goal of the lecture is to give an introduction to non-classical logics.
    We will first present many-valued logics (including fuzzy logics).
    The course will then focus on non-classical logics relevant for computer science,
    such as:

    - modal logics and description logics (knowledge representation),
    - temporal logic: LTL, CTL (verification, model checking), and
    - the dynamic logic of programs.


    Additional bibliography
    Modal, temporal and dynamic logic
    Modal and temporal logic
    Modal and temporal logic